function resize_iframe()
	{
		document.getElementById("sizeframe").height=null // required for Moz bug, value can be "", null, or integer
		document.getElementById("sizeframe").height=window.frames["sizeframe"].document.body.scrollHeight
	}