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

function changeImage2(filename)
{
  document.mainimage2.src = filename;
}

function changeImage3(filename)
{
  document.mainimage3.src = filename;
}