moz=document.getElementById&&!document.all
mozHeightOffset=0
function reSize()
{
	document.getElementById("ifrm").height="" // required for Moz bug, value can be "", null, or integer
	document.getElementById('ifrm').height=window.frames["ifrm"].document.body.scrollHeight+(moz?mozHeightOffset:0)
}
function DWUSER_scrollbarStyler() {
}