function changemenu(newClass)
	{
	//alert("newClass : "+newClass);
	var elementID=document.body.getAttribute('name')
	//alert("elementID : "+elementID);
	//var pageurl=document.URL
	var element = document.getElementById(elementID);
	//element.className=newClass;
	element.setAttribute("class", newClass); //For Most Browsers
	element.setAttribute("className", newClass); //For IE; harmless to other browsers.

}