function MenuOn(x){ 
	obj=document.getElementById("submenu"+x).style.visibility="visible";
}

function MenuOff(x){ 
	obj=document.getElementById("submenu"+x).style.visibility="hidden"; 
}

function flipper(book, width, height){
	window.open(book, "flipper", "width=" + width + ",height=" + height);
}