function pageset() {
	var a = document.getElementById("maincontent").offsetHeight;
	if(a<542) a=542;
	document.getElementById("holder").style.height=(a+120+"px");
}