function resizeFrame(f) {
	f.style.height = f.contentWindow.document.body.scrollHeight + 'px';
}