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