// JavaScript Document
var intval=""
var frameID = "main"
var altezza_old = -1

function resize_iframe(){
var oDHTMLiFrame = top.frames[frameID];
var oDHTMLiFrameDocument = oDHTMLiFrame.document
var oDOMiFrame = top.document.getElementById(frameID); 
var oDOMiFrameDocument = oDOMiFrame.document
var oDIVwholePage = oDHTMLiFrameDocument.getElementById('extdiv');
var altezza = oDIVwholePage.offsetHeight + 20;
if (altezza == altezza_old) {
//  alert ('oooo')
  if (altezza < 418) altezza = 418
  oDOMiFrame.height = altezza
  altezza_old=-1
}
else
{
  altezza_old = altezza
  intval=window.setTimeout("resize_iframe()", 100)
}
}

function iframe_page(pagina) {
  top.frames[frameID].location=pagina
}