function setval() {
window.status=document.title
}

function dropDown() {
      	index = document.page.menu.selectedIndex;
            site = document.page.menu.options[index].value;
            location = site;
            document.page.menu.selectedIndex=0
}

function pageJump() {
if (document.page.pagenum.value=="") {
alert("You must input a page number in the range above");

} else {

jumppage="#p"+document.page.pagenum.value
location=jumppage
document.page.pagenum.value=""
}
}