function browserVer4Detect()
{
var ie4 = document.all;
var ns4 = document.layers;
var ns6 = document.getElementById && !document.all; 

	if (ie4) return 'ie'; else return 'mozilla';
}

window.onload=function(){
	if (browserVer4Detect()=="ie"){
		document.getElementById("mainCopy").style.marginLeft="9px";
		document.getElementById("mainCopy").style.marginRight="9px";
	}
}