function layout() {
	pageHeight = 0;
	// IE
	if (navigator.appName.indexOf("Microsoft")!=-1) {
		pageHeight = document.getElementById("txt").clientHeight;
	} else {
		pageHeight = document.getElementById("txt").clientHeight;
	}

	if (pageHeight != 0 && (pageHeight + 256) > 500) {
		document.getElementById('pagina').style.height =  Math.round(pageHeight + 256) + 'px';
		document.getElementById('bordo').style.height =  Math.round(pageHeight + 250) + 'px';
	}
}
onload = function() { layout(); }