function doSomething(x) {
	c="current";
	var y=document.getElementById('nav').className;
	if (y)	document.getElementById(y).className="nav";
	document.getElementById(x).className=c;
	document.getElementById('nav').className=x;
}