function fheight()
{
	 if (window.innerHeight) return window.innerHeight - 2;
	 else if (document.body && document.body.offsetHeight) return document.body.offsetHeight - 10;
	 else return 0;
}
function crop_content() {
	var the_ch = fheight() - 253;
	document.getElementById("content").style.height = the_ch;
}
window.onresize = crop_content;