function topMenu(){
	obj= document.getElementById('divTopMenuText0');
 if(obj.style.visibility=='hidden'){ obj.style.visibility='visible'; }else{obj.style.visibility='hidden'}
}
function topMenu_over(){
	obj= document.getElementById('divTopMenuText0');
obj.style.visibility='visible';
}
function topMenu_out(){
	obj= document.getElementById('divTopMenuText0');
obj.style.visibility='hidden';
}