<!--
function openpopup (popurl){ var winpops=window.open(popurl,"","width=640,height=640,")}
function changeImage(filename)
{
	document.mainimage.src = filename;
}
// -->