/*
change image script
*/

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