function corrector() {
	o=document.getElementById("corrector");
	if (o.offsetHeight < 730) {
		o.style.height="711px";
	}
}