function setheight() {
	document.getElementById("magassag").style.height = (parseInt(document.getElementById("tabla").offsetHeight)-250)+"px";
}