function resize() {
	var header = document.getElementById('header');
	var middle = document.getElementById('middle');
	var headerHeight = header.offsetHeight;
	var middleHeight = middle.offsetHeight;
	if (headerHeight+middleHeight < 1031) {
		middle.style.height = ((middleHeight+1031) - (headerHeight+middleHeight))+'px';
	}
}

if (window.addEventListener) {
	window.addEventListener("load", resize, false);
} else if (window.attachEvent) {
	window.attachEvent("onload", resize);
}