function search(checkbox)
{
  box = eval("document.searchForm." + checkbox);   
  if (box.checked == false) box.checked = true;
  document.searchForm.submit();
}

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

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