function newMenuSelResp(req){document.getElementById("pagetitle").innerHTML=req.responseText}function newMenuSel(info){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)}