<!-- Changing the CSS Class of menu items -->
function change(id, newClass) {
	var identity=document.getElementById(id);
	identity.className=newClass;
}