var lastbutton;

function getmenuajax() {
    var xmlHttp;

    try {
        xmlHttp = new XMLHttpRequest();    
    } catch (e) {
        try {
            xmlHttp = new ActiveXObject("Msxml2.XMLHTTP");
        } catch (e) {
            try {
                xmlHttp = new ActiveXObject("Microsoft.XMLHTTP");
            } catch (e) {        
                return null;
            }
        }
    }
    
    xmlHttp.onreadystatechange=function()
    {
        if(xmlHttp.readyState==1)
        {
            document.getElementById("loadingdiv").style.display = 'block';
            document.getElementById("bodycontent").style.display = 'none';
        }
        if(xmlHttp.readyState==4)
        {
            // Server responded.
            document.getElementById("bodycontent").innerHTML = '<table cellpadding="0" cellspacing="0" border="0"><tr><td style="width: 525px;">' + xmlHttp.responseText + '</td></tr></table>';
            document.getElementById("loadingdiv").style.display = 'none';
            document.getElementById("bodycontent").style.display = 'block';
        }
    } 
    
    return xmlHttp;
}

function menuhoverbutton(div) {
    if (div) {
        if (div.className == 'navbutton') div.className = 'navbuttonon';
        if (div.className == 'navbuttondown') div.className = 'navbuttonondown';
    }
}

function menuunhoverbutton(div) {
    if (div) {
        if (div.className == 'navbuttonon') div.className = 'navbutton';
        if (div.className == 'navbuttonondown') div.className = 'navbuttondown';
    }
}

function gotopage(pagename) {
//    var ajax = getmenuajax();
      var navbutton = document.getElementById('navbutton_' + pagename);
    
//    if (ajax == null) {
      window.location = 'home.asp?page=' + pagename;
//    } else {
//        if (pagename == 'home') pagename = 'intro';
//        ajax.open("GET", "/pages/" + pagename + ".asp");
//        ajax.send(null);
//        
//        if (navbutton) {
//            navbutton.className = 'navbuttondown';
//        }
//        
//        if (lastbutton) {
//            lastbutton.className = 'navbutton'
//        } else {
//            document.getElementById('navbutton_home').className = 'navbutton';        
//        }
//    }

    lastbutton = navbutton;

}