if (document.all) {
	var theHref = document.styleSheets(0).href;
	var lastSlash = theHref.lastIndexOf("/");
	var pathOnly = theHref.substring(0, lastSlash+1);
	var fileNameOnly = theHref.substring(lastSlash+3, theHref.length);
	var newPath = pathOnly + "IE" + fileNameOnly;
	document.styleSheets(0).href = newPath;
}