// JavaScript Document

function show_menu(disp)
{
	sub_menu = document.getElementById('gallery_sub_menu');
	sub_menu.style.display = disp;
}

function change_main(name)
{
	if (document.getElementById)
	{
		Img = document.getElementById("mainpic")
		Img.src = name
	}
}

function openfile(file)
{ 
	temp = window.open(file,"Details", "width=900,height=700,scrollbars=yes");
	temp.focus();
}