var d = document;
var winIE = (navigator.userAgent.indexOf("Opera")==-1 && (d.getElementById &&  d.documentElement.behaviorUrns))  ? true : false;

function bodySize(){
	if(winIE && d.documentElement.clientWidth) {
		// I added this check in case the #min-width element is removed. In fact,
		// it has been removed, and I don't know if this code is needed anymore,
		// but we keep it just in case. This fix gets rid of an IE error.
		if (d.getElementById('min-width')) {
			sObj = d.getElementById("min-width").style;
			sObj.width = (d.documentElement.clientWidth<=940) ? "940px" : "100%";
		}
	}
}
function init(){
	if(winIE) { bodySize(); }
 }
 
onload = init;

if(winIE) { onresize = bodySize; }