// JavaScript Document
    var onbutton;
    var onmenu;
    var curnav;
    var delay;
    var hideTimer;
    delay=500;
    onmenu=false;
    onbutton=false;
    function dropdown(item){
        if (hideTimer) clearTimeout(hideTimer);
        if(curnav)
            getObj(curnav).style.visibility = "hidden";
        getObj(item).style.visibility = "visible";
        onbutton=true;
        curnav=item;
    }
    function pullup(){
        hideTimer = setTimeout("hideMenu()", delay);
        onbutton=false;
    }
    
    function hideMenu(){
        if((!onmenu)&&(!onbutton))
            getObj(curnav).style.visibility = "hidden";
    }
    
    function entermenu(){
        onmenu=true;
    }
    
    function leavemenu(){
        //alert('muh');
        onmenu=false;
        hideTimer = setTimeout("hideMenu()", delay);
    }
    
    function getObj(theId) {
	   if (document.getElementById) {
		  theObj = document.getElementById(theId);
	   } else if (document.all) {
		  theObj = document.all[theId];
	   }
	   return theObj;
    }