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


  
  function Select1_onclick() {
document.getElementById("Select1").selectedIndex=0;
document.getElementById("Select1").onchange = jumpPage;
}
function jumpPage() {
var newLoc = document.getElementById("Select1")
var newPage = newLoc.options[newLoc.selectedIndex].value;
if(newPage !="") {
window.location = newPage;}
}

function clickBox() {
	if (this.checked) {
    document.getElementById("radio2set$counter").checked=true;    
	}
	}