function set_min_page_height() {
		if(document.getElementById("main_content").scrollHeight<530) document.getElementById("main_content").style.height="530px";
	}