<!-- Begin
function changeImage(filename)
{
  mainimage.src = filename;
}
//  End -->

