function hide_enlarged(img_div)
{
	document.getElementById(img_div).style.display = 'none';	
}

function show_enlarged(file,img,img_div)
{
	if(file != null) document.getElementById(img).src = file;
	document.getElementById(img_div).style.display = 'block';
}