function imageOpen(file, width, height){
	window.open("image.php?file="+file, "image", "width="+width+", height="+height);
}
function showNav2(){
	obj = document.getElementById("nav_2_area");
	obj.style.left = "915px";
	obj.style.top = "175px";
	obj.style.visibility = "visible";
}
function hideNav2(){
	obj = document.getElementById("nav_2_area");
	obj.style.visibility = "hidden";
}