function init()
{
	var codeDivs=document.getElementsByTagName('DIV');
	for(var i=0;i<codeDivs.length;i++)
		if(codeDivs[i].id=='codeDiv')
			if(codeDivs[i].offsetHeight<200)
			{
				if(codeDivs[i].offsetWidth>codeDivs[i].parentNode.offsetWidth)
					codeDivs[i].parentNode.style.height=codeDivs[i].offsetHeight+40;
				else
					codeDivs[i].parentNode.style.height=codeDivs[i].offsetHeight+20;
			}
	top.document.title=document.title;
}
onload=init;