<!--
  function changeimg(filename){
    document.img.src=filename
  }
//-->