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