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

  //change the height of the iframe
  document.getElementById('the_frame').height=
      the_height;
}
function framer(loc_def) {
var loc_var=this.location.href;
if(loc_var.indexOf('?addr=')!=-1){
var loc_arr=loc_var.split('?addr=');
document.getElementById('the_frame').src=loc_arr[1];
}
else{
document.getElementById('the_frame').src=loc_def;
}
}