// JavaScript Document



function changeImage(filename)

{

   document.getElementById('mainimage').src = filename;

}