function resize() {
	if (document.getElementById('content')) {
		document.getElementById('content').style.height=''+(document.body.clientHeight-280)+'px';
	}
}
function resizeEvent(e) {
	resize();
}
function init() {
	resize();
	window.onresize=resizeEvent;
}