function isIE() // check for specific DOM feature we need:
{	
	return (typeof(document.getElementById('frame_1').contentDocument)=="undefined");
}

function trace(o)
{
	var s = new String();
	for(i in o)
	{
		s = s + ('<P>' + i + ": " + o[i]);
	}
	document.write(s);
}
function setHeight()
{
	if(isIE())
		document.all.frame_1.style.height = frame_1.document.body.scrollHeight;
	else
	{
		document.getElementById('frame_1').style.height = document.getElementById('frame_1').contentDocument.height + 20;
	}
}