
function zoom() {
	var width = 1024;
	var height = 768;

	var img=document.images.hz.src;

   img=img.replace('mid','big');

	var alt="";
	var win=window.open('', '_blank', 'width='+width+', height='+height+', left='+((screen.width-width)/2)+', top='+((screen.height-height)/2)+', toolbar=no, menubar=no, resizable=yes, status=no, location=no, alwaysRaised=yes, scrollbars=no');
	win.document.write('<html><head><title>'+alt+'</title></head><body bgcolor="FFFFFF" marginheight="0" marginwidth="0" topmargin="0" leftmargin="0" rightmargin="0"><img src="' + img +'" border="0" style="" alt="'+alt+'" title="'+alt+'"></body></html>');
}

function showtip (v,file_in_prog) {
			var str;
			str=v;
			document.images.hz.src=str;
			newwindow.open_window.value=v;

			var divElement = document.getElementById("file_name");
      			while (divElement.hasChildNodes()) divElement.removeChild(divElement.lastChild);

			var docfrag=document.createDocumentFragment()
			var mydiv=document.createElement("div")
			var divtext=document.createTextNode(file_in_prog)
			mydiv.appendChild(divtext)
			docfrag.appendChild(mydiv)
			document.getElementById("file_name").appendChild(docfrag)

		}

