function openWin(theURL,winName,features) {

  var newWin = window.open(theURL,winName,features)
	newWin.focus()
  newWin.document.close()

}


function changeImage(filename)
{
   document.mainimage.src = filename;
}