function bodyresize () {
	if (typeof (window.innerWidth) == 'number') {
		// Non-IE - innerWidth/Height returns height of browser window
		document.getElementById ("mainFrame").height = window.innerHeight - 228;//document.body.offsetHeight - 228;
	}
	else if (document.documentElement && (document.documentElement.clientWidth || document.documentElement.clientHeight)) {
		// IE 6+ in standards compliant mode
		document.getElementById ("mainFrame").height = document.documentElement.clientHeight - 228;
	}
	else if (document.body && (document.body.clientWidth || document.body.clientHeight)) {
		// IE 4 compatible
		document.getElementById ("mainFrame").height = document.body.clientHeight - 228;
	}
}

function pagestart () {
	parent.document.title = document.title;
}