function getDivHeight(div) {
	return document.getElementById(div).offsetHeight;
}
function setIframeHeight(div) {
	iframeheight = getDivHeight(div) + 20;
	if( iframeheight < 610 ) iframeheight = 610;
	parent.document.getElementById('main').style.height = iframeheight;
}