var normDPI = 96;
	if( navigator.appName == "Microsoft Internet Explorer" )
	{
		document.write("<span>.</span>");
		if ((screen.deviceXDPI == screen.logicalXDPI) && (screen.deviceXDPI > normDPI))
		{
			
			document.body.style.fontSize = '10pt';  			
		}
	    else 
    	{
    		
  			document.body.style.fontSize = '13pt';
    	}
    }