// switches preloaded images
//
function img_switch(ImgTagName, newImgName) 
{
  document.images[ImgTagName].src = newImgName;
}