var timeout = 500;
    var closetimer = 0;
    var ddmenuitem = 0;

    function main_menu_open()
    { main_menu_canceltimer();
    main_menu_close();
    ddmenuitem = $(this).find('div').css('visibility', 'visible');}

    function main_menu_close()
    { if(ddmenuitem) ddmenuitem.css('visibility', 'hidden');}
 
    function main_menu_timer()
    { closetimer = window.setTimeout(main_menu_close, timeout);}

    function main_menu_canceltimer()
    { if(closetimer)
    { window.clearTimeout(closetimer);
    closetimer = null;}}

    $(document).ready(function()
    { $('#main_navigation > li').bind('mouseover', main_menu_open)
    $('#main_navigation > li').bind('mouseout', main_menu_timer)});
    
function toggle_navigation(nav_id) {
  $("#nav_" + nav_id).toggle();
}

// *** Fügt eine E-Mail-Adresse ein ***
function InsertMail(mailnam,mailsvr,maildom,text)
{
  if(text=="")
    document.write('<a href="mailto:'+mailnam+'@'+mailsvr+'.'+maildom+'">'+mailnam+'@'+mailsvr+'.'+maildom+'</a>');
  else
    document.write('<a href="mailto:'+mailnam+'@'+mailsvr+'.'+maildom+'">'+text+'</a>');
}