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