function autoSetHeight(){
	if(($(window).getSize().y
		- $('header').getSize().y) > 250){
		$('footer').setStyle("height",(
			$(window).getSize().y
			- $('header').getSize().y)
		);
	}
	return true;
}

function initAutoSetHeight(){
		window.addEvent("resize", function(){ autoSetHeight();});
		return autoSetHeight();
}

window.addEvent("domready", function(){initAutoSetHeight();});