function HighlightThis(thisImg, io){
    if (io == 1) {
      thisImg.style.opacity = "1";
      thisImg.style.filter = "alpha(opacity=100)";
    } else {
      thisImg.style.opacity = ".6";
      thisImg.style.filter = "alpha(opacity=60)";
    }
  }
  function AltReloader() {
    arrImages = document.getElementsByTagName('img');
    for (x=0;x<arrImages.length;x++){
      thisAlt = arrImages[x].alt;
      arrImages[x].alt = thisAlt.replace(/; /g,"\r\n");
    }
  }