// JavaScript Document
    if (navigator.appName.substring(0, 3) == "Mic")
      for (i = 0; i < document.images.length; i++)
        if (document.images[i].src.substring(document.images[i].src.length-3, document.images[i].src.length) == "png") 
        {
          document.images[i].style.height = document.images[i].height + "px";
          document.images[i].style.width = document.images[i].width + "px";
          document.images[i].style.filter = "progid:DXImageTransform.Microsoft.AlphaImageLoader(src=" + document.images[i].src + ",sizingMethod='scale')";
          document.images[i].src = "trans.gif";
        }