function win_height() {
	if	(window.innerHeight)	return window.innerHeight;
	else if	(document.body && document.body.offsetHeight) return document.body.offsetHeight;
	else 				return 0;
}

function win_redraw()	{
	if (height != win_height()) window.history.go(0);
}


function adjust_height(leave)	{
	var tag_s	= '<td style="height: ';
	var tag_e	= 'px; width: 0px">';
	var open_space	= win_height() - leave;
	document.writeln(tag_s + open_space + tag_e);
}

if(top!=self) top.location=self.location;

var height	= win_height();
window.onresize	= win_redraw;