<!--
function pageHeight() {
	return window.innerHeight != null ? window.innerHeight : document.documentElement && document.documentElement.clientHeight ? document.documentElement.clientHeight : document.body != null ? document.body.clientHeight : null;
}
function setContentHeight() {
	document.getElementById("content").style.height = String(pageHeight() - 112 - 24) + "px";
}
//-->