function toggle(menue){
         if(document.getElementById(menue).style.display=='none')
         document.getElementById(menue).style.display='';
         else document.getElementById(menue).style.display='none';
}

function show(menue){
        document.getElementById(menue).style.display='';   // ! Nicht 'block' --> wegen FF
        document.getElementById('p_' + menue).className='highlite'; // Permanent-Hover während Sub-Menü aktiv
}

function noshow(item){
        document.getElementById(item).style.display='none';
        document.getElementById('p_' + item).className='main_menu';
}