function menu_hide(ID){
if (ID.style.display=='none'){
ID.style.display='' } else { ID.style.display='none' }; }
function h(){
return(false)
}