function correctPNG()
{
   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")
      {
         var imgID = (img.id) ? "id='" + img.id + "' " : ""
         var imgClass = (img.className) ? "class='" + img.className + "' " : ""
         var imgTitle = (img.title) ? "title='" + img.title + "' " : "title='" + img.alt + "' "
         var imgStyle = "display:inline-block;" + img.style.cssText
         if (img.align == "left") imgStyle = "float:left;" + imgStyle
         if (img.align == "right") imgStyle = "float:right;" + imgStyle
         if (img.parentElement.href) imgStyle = "cursor:hand;" + imgStyle       
         var strNewHTML = "<span " + imgID + imgClass + imgTitle
         + " style=\"" + "width:" + img.width + "px; height:" + img.height + "px;" + imgStyle + ";"
         + "filter:progid:DXImageTransform.Microsoft.AlphaImageLoader"
         + "(src=\'" + img.src + "\', sizingMethod='scale');\"></span>"
         img.outerHTML = strNewHTML
         i = i-1
       }
    }
}
window.attachEvent("onload", correctPNG);

  	function displayCorrect() {
		correctBorder( "NAVTD", "NAVBORDER" );
		correctBorder( "NAVTD02", "NAVBORDER02" );
		correctBorder( "NAVTD03", "NAVBORDER03" );
	}
	
	var TempHeight	=	0;

	function correctBorder( ID, Border ) {
		if( ( td = document.getElementById( ID ) ) && ( border = document.getElementsByName( Border ) ) ) {
			Height	=	parseInt( td.offsetHeight ) - 14;
			if( ID == "NAVTD02" ) {
				TempHeight	=	parseInt( border[ 0 ].style.height );
			}
			border[ 0 ].style.height	=	Height + "px";
			border[ 1 ].style.height	=	Height + "px";
		}
	}
	
	function recorrectBorder( ID, Border ) {
		if( ( td = document.getElementById( ID ) ) && ( border = document.getElementsByName( Border ) ) ) {
			Height	=	TempHeight;
			if( isNaN( Height )  ) {
				Height	=	parseInt( td.offsetHeight ) - 14;
			}
			border[ 0 ].style.height	=	Height + "px";
			border[ 1 ].style.height	=	Height + "px";
		}
	}
