function MenuOnMouseOver(element)
{
	if(element)
	{
	    
		element.className=element.className+"Mouse";
	}
	/*if(element && element.style!=null)
		element.style.backgroundColor="831CA7";*/
}

function MenuOnMouseOut(element)
{
	if(element)
	{
	   pattern= new RegExp("Mouse");
	   new_title=element.className.replace(pattern,""); 
	   element.className=new_title;
	}
		
	/*if(element && element.style!=null)
		element.style.backgroundColor="blue";*/

}

