function mover(el){
 el.style.backgroundColor='#EEEEEE';
 el.style.borderColor='#FFFFFF #FFFFFF #FFFFFF #FFFFFF';
 el.style.cursor='hand';}

function mout(el) {
 el.style.backgroundColor='';
 el.style.borderColor='#CCCCCC #CCCCCC #CCCCCC #CCCCCC';}

function mrover(el){
 el.style.backgroundColor='#990000';
 el.style.cursor='hand';}

function mrout(el) {
 el.style.backgroundColor='';}
 
function hide_menu(){
	document.all.Layer10.style.visibility="hidden";
}