var highlight_menu = function(el){
	document.getElementById(el.id).style.display='none';
	var tmp=el.id+'_hover';
	document.getElementById(tmp).style.display='block';
};

var unhighlight_menu = function(el){
	
	document.getElementById(el.id).style.display='none';
	var tmp=el.id;
	tmp=tmp.replace('_hover','');
	document.getElementById(tmp).style.display='block';
};