function resizeFrame(obj) {
	var extraHeight = 30;
	var name = obj.name;
	var prefix = (document.all) ? 'scroll' : 'offset';
	eval("var h = window.frames[name].document.getElementsByTagName('body')[0]." + prefix + "Height");
	obj.style.height = (h + extraHeight) + "px";
}