function SwitchImage(sImgID, sNewImgName)
{
 var oImg = $$$(sImgID);
 oImg.src = sNewImgName;
}
 
function SwitchProdImage(sNewImgNameSnippet)
{
 SwitchImage("prodimgfile", "images/" + sNewImgNameSnippet + ".jpg");
}
 
function $$$(strId)
{
 return document.getElementById(strId);
}