function goSetHeight() {
			if (parent == window) return;
			// arg: id of iframe element this doc is to be loaded into
			else parent.setIframeHeight('iframe');}