// JavaScript Document
if (top.location != location) top.location.href = document.location.href ;
  			
function doresize(s){		
	document.getElementById("main").height = s + 10;			
	document.getElementById("area").height = s;		
}