function setContentMargin()
{
	if(navigator.appName=="Microsoft Internet Explorer")
		document.getElementById("display").style.margin="4px 4px 4px 143px";
}