function newMenuSelResp(req)
{
    document.getElementById("pagetitle").innerHTML = req.responseText;
    document.getElementById("pagetitle").style.color = '#112233';
    document.getElementById("ddmenu").className = 'nav2';
}

function newMenuSel(info)
{
    document.getElementById("ddmenu").className = 'nonav';
    var req = newXMLHttpRequest();
    var callbackhandler = getReadyStateHandler(req, newMenuSelResp);
    req.onreadystatechange = callbackhandler;
    req.open("POST", "server_dropdown.php" , true);
    req.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
    req.send("page=" + info);
}