function show( mnu ) {
	document.getElementById(mnu).style.visibility='visible';
}
	
function hide( mnu ) {
	document.getElementById(mnu).style.visibility='hidden';
}
	
var newwindow;
function popup(url, width, height) {
	newwindow=window.open(url,'name','height='+height+',width='+width);
	if (window.focus) {newwindow.focus()}
}