function stretch() {
	var main = document.getElementById('main');
	main.style.height = 'auto';
	var x = main.offsetHeight;
	main.style.height = x + "px";
}