// refresh script to sort out explorer text resize problems

    var defaultfontsize = 0;
    function getFontSize() 
    {
	     if (document.defaultView && document.defaultView.getComputedStyle) 
      {
		    return parseInt(document.defaultView.getComputedStyle(document.body,'').getPropertyValue("font-size"));
	     }
	     else if (document.all && document.body.currentStyle) 
      {
		    return parseInt(document.body.currentStyle.fontSize);
	     }
    }

    function check() 
    {
	     var currentsize = getFontSize();
	     if (currentsize != defaultfontsize) 
      {
		      window.location.reload();// page refresh;
      }
	     defaultfontsize = currentsize;
    }

    function firstcheck() 
    {
	     var theInterval = 1000;
	     if ((document.defaultView && document.defaultView.getComputedStyle) || (document.all && document.body.currentStyle)) {
		    defaultfontsize = getFontSize();
		    setInterval("check()",theInterval);
	   }
    //	else {
    //		alert ("document.defaultView and document.body.currentStyle are not supported");
    //	}
    }

    onload=firstcheck;