function resize_iframe (id) {
	iframe = document.getElementById(id);
	iframe.style.height = iframe.contentWindow.document.body.scrollHeight + (navigator.appName == "Microsoft Internet Explorer" ? 64 : 32) + "px";
}