function ppp(){
var normDPI = 96;
var objppp=document.body;

if ((screen.deviceXDPI == screen.logicalXDPI) && (screen.deviceXDPI > normDPI) && navigator.appName =="Microsoft Internet Explorer"){
	

objppp.style.fontSize = 0.53+"em";
	
	
}
}