function showmenu(elmnt){
document.getElementById(elmnt).style.visibility="visible";
}
function hidemenu(elmnt){
document.getElementById(elmnt).style.visibility="hidden";
}

function setHilite(elmnt){
document.getElementById(elmnt).style.background="#336600";
}
function removeHilite(elmnt){
document.getElementById(elmnt).style.background="#339900";
}

function gotoPage(str) {
	window.location = str +".htm";
}