function menu_display(t_id){
        var thisLevel = document.getElementById( t_id );
	if ( thisLevel.style.display == "none") {
		thisLevel.style.display = "";
	} else {
		thisLevel.style.display = "none";
	}
}
function nothing(){
	return;
}
	function onw(URLtoOpen, windowName, windowFeatures) { newWindow=window.open(URLtoOpen, windowName, windowFeatures); }