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