function ChangePictureMouseOver (ImgId, PostFix)
{
 var img = document.getElementById(ImgId);

 if (!img)
    return;

 var oldSrc = img.src.toLowerCase();
 var gifPos = oldSrc.indexOf(".gif");

 var newSrc = oldSrc.substring (0, gifPos);
 
 newSrc = newSrc + PostFix + ".gif";
 
 //alert ("oldSrc= "+ oldSrc + "newSrc=" +newSrc);

 img.src = newSrc;

}


function ChangePictureMouseOut (ImgId, PostFix)
{
 var img = document.getElementById(ImgId);

 if (!img)
    return;

 var oldSrc = img.src.toLowerCase();
 var postFixPos = oldSrc.indexOf(PostFix);

 var newSrc = oldSrc.substring (0, postFixPos);

 newSrc = newSrc + ".gif";

 //alert ("oldSrc= "+ oldSrc + "newSrc=" +newSrc);

 img.src = newSrc;
}