function getDocHeight(doc)
{
	var docHt = 0, sh, oh;
	if (doc.height) docHt = doc.height;
	else if (doc.body) {
		if (doc.body.scrollHeight) docHt = sh = doc.body.scrollHeight;
		if (doc.body.offsetHeight) docHt = oh = doc.body.offsetHeight;
		if (sh && oh) docHt = Math.max(sh, oh);
	}
	return docHt;
}

function setIframeHeight(iframeName)
{
	//var iframeWin = window.frames[iframeName];
	var iframeWin = window.parent.frames[0];	//O firefox einai mia sketi malakia!
	var iframeEl = document.getElementById? document.getElementById(iframeName): document.all? document.all[iframeName]: null;

	if ( iframeEl && iframeWin ) {
		iframeEl.style.height = "auto"; // helps resize (for some) if new doc shorter than previous  
		var docHt = getDocHeight(iframeWin.document);
		// need to add to height to be sure it will all show
		if (docHt)
			{iframeEl.style.height = docHt + 100 + "px";}
	}
}

function goSetHeight(iframeId)
{
	if (parent == window) return;
		else parent.setIframeHeight(iframeId);
}


