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