function resizeFrame()
{
	var hVar = 400;
	var height = 400;
	var antiFrame = 165;
	var obj = top.document.getElementById("dataframe");
	obj.style.height=0;

	
	//tests in this order:
	//	1. Firefox - like
	//	2. IE
	//	3. Other
	
	if(obj.contentDocument)
		height = obj.contentDocument.body.scrollHeight;
	else
		if(document.all.dataframe.contentWindow.document.body.scrollHeight)
			height = document.all.dataframe.contentWindow.document.body.scrollHeight;
		else
			height=400;
		
	

	try{
		if( window.innerHeight && window.innerHeight-antiFrame > height)
			hVar = window.innerHeight-antiFrame;
		else
			if( document.body.clientHeight && document.body.clientHeight-antiFrame > height)
				hVar = document.body.clientHeight-antiFrame;
			else
				if(height < 400)
					hVar = 400;
				else
					hVar = height+5;
	}catch(err){
		hVar = height;
	}

	obj.style.height = hVar;
	document.getElementById("navDiv").style.height=String(hVar+antiFrame)+"px";
}

function updateTitle(newTitle)
{
	document.getElementById("title_text").innerHTML=newTitle;
}