function adjustHeight() 
{
	var header_height = document.getElementById('header').offsetHeight;
	var footer_height = document.getElementById('footer').offsetHeight;
	
	var contents_height = document.getElementById('contents').offsetHeight;
	
	var new_height = document.documentElement.scrollHeight - header_height - footer_height;
	
	if (contents_height < new_height)
	{
		document.getElementById('contents').style.height = new_height + 'px';
	}
}


if (window.resize != null) 
{
	var onResizeBeforeAdjustHeight = window.onresize;

	window.onresize = function (e) 
	{
		onResizeBeforeAdjustHeight(e);
		adjustHeight();
	};
}
else
{
	window.onresize = adjustHeight;
}