/*
 
Mati's Version of PNG Fixer
Finds all .png images and replaces them with .gif. Make SURE you have a GIF copy of ALL png files!!!

*/


if (window.ActiveXObject && document.images && !window.XMLHttpRequest) 
{
   for (var i=0; i<document.images.length; i++)
   {
      var img = document.images[i];
      var imgName = img.src.toUpperCase();
      if (imgName.substring(imgName.length-3, imgName.length) == "PNG" && (img.parentNode.id != "pagetitle"))
      {
         img.src = img.src.replace("png", "gif");
      }
   }
}