//
// functions to adjust iframe height


function getElement(aID)
{
	return (document.getElementById) ?
		document.getElementById(aID) : document.all[aID];
}

function getIFrameDocument(aID){ 
	var rv = null; 
	var frame=getElement(aID);
	// if contentDocument exists, W3C compliant (e.g. Mozilla) 

	if (frame.contentDocument)
		rv = frame.contentDocument;
	else // bad IE  ;)

		rv = document.frames[aID].document;
	return rv;
}

function iframeHeight(id)
{
	var frame = getElement(id);
	var frameDoc = getIFrameDocument(id);
	try {
	frame.height = frameDoc.body.offsetHeight+30;
	} catch(err) {
		frame.height = '1000px';
	}
}