function m1(menuElement) {
      menuElement.style.backgroundColor='#FFFFFF';
	menuElement.style.backgroundColor='#F0F0F0';
	menuElement.style.cursor='hand'; 
	menuElement.style.cursor='pointer'; 
	menuElement.style.color='#FF0000';
}

function m2(menuElement) {
	menuElement.style.backgroundColor=''; 
	menuElement.style.color='';
}

function m3(menuLink) {
	location.href = menuLink;
}