var box_background_off	= new Image();	box_background_off.src	= "../images/box_background.gif";
var box_background_on	= new Image();	box_background_on.src	= "../images/box_background_over.gif";

function menu(menu_name, action) {
	var doc	= document.getElementById(menu_name);
	
	if(action == "show") {
		doc.style.visibility	= "visible";
	} else {
		doc.style.visibility	= "hidden";
	}
}

function popUpImage(imageSrc) {
	var doc = document.getElementById('view_image');
	var theImage = document.images.popup;
	theImage.src = "../images/" + imageSrc;
	
	doc.style.visibility	= "visible";
}

function closeWindow() {
	var doc = document.getElementById('view_image');
	
	doc.style.visibility	= "hidden";
}