function mouseOver_image(imgLink)
{
document.view_image.src = imgLink;
}

function mouseOver(button, imgOver)
{
   button.src = imgOver;
}
