//////////////////////////////////////////
// function to change images on mouseover

function ChangeImage(ImageName, NewImage)
{
    var img = document.getElementById(ImageName);
    if (!img) {
        return false;
    }
    img.src = NewImage;
}