// JScript File

var currentmenu = "mainmenu";

function go(link)
{
    document.getElementById('contentframe').src = link.href;
    return false;
}

function togglemenu(menuon)
{
    document.getElementById(currentmenu).style.display = "none";
    document.getElementById(menuon).style.display = "block";
    currentmenu = menuon;
    return false;
}


// Resizing of IFRAME height

function calcHeight()
{
  //find the height of the internal page
  var the_height = document.getElementById('contentframe').contentWindow.document.body.scrollHeight;

  //change the height of the iframe
  document.getElementById('contentframe').height = the_height;
  document.getElementById('outer_content').height = the_height;
}

window.onload() = calcHeight();