function MenuOn(x){
	obj=document.getElementById
	("snav-"+x).style.visibility="visible";
}
function MenuOff(x){
	obj=document.getElementById
	("snav-"+x).style.visibility="hidden";
}

function newWin(theUrl,height) {
	var theSetting = 'width=580,height=' + height + ',resizable=1';
	theWindow = window.open(theUrl, 'new_win', theSetting);
	theWindow.focus();
}