// JavaScript Document
function switchImage(imgName, imgSrc) 
{
  if (document.images)
  {
    if (imgSrc != "none")
    {
      document.images[imgName].src = imgSrc;
    }
  }
}
 
function show_full(file, width, height) {
	window.open('files/'+file,'mywindow','width='+(width+1)+',height='+(height+1));
}