function on_load(){
	var td = document.getElementById('page');
  if (td.offsetHeight < 638){ td.style.height = "638px"; }
  else { document.getElementById('content').style.height = (td.offsetHeight+205)+'px'; }
}
