function protect_iframes(url)
{
  /* NOTE: could we use 303 HTTP status instead ?
   */
   
  if(window.content == window.self)
  {
    window.stop();
    window.location = arguments[0];
  }
}

function resizeHandler_iframe(e)
{
  my_alert("resizeHandler_iframe: begin");
  correct_iframe_content();
  propagate_event(e);
}

function uninit_iframe()
{

}

function init_iframe()
{
//  my_alert("init_iframe: begin");
 if(!is_ns4)
 {
  fix_bugs();
  correct_iframe_content();
  window.onresize = resizeHandler_iframe;
 }
// my_alert("init_iframe: end");
}

function contains_iframe()
{
  var iframe = document.getElementById("myIframe");
  return (iframe != null && iframe != undefined)
}

function handle_links_to_iframe()
{
  var loc = new String(window.location);
  var linkpos = loc.indexOf("#");
  var linkto;
  var iframe = document.getElementById("myIframe");
  
  if(iframe && (linkpos >= 0))
  {
    linkto = loc.substring(linkpos + 1, loc.length);
    var iframe_src = new String(iframe.src);
    var iframe_linkpos = iframe_src.indexOf("#");
    
    if(iframe_linkpos == -1)
    {
      var new_loc = iframe_src + "#" + linkto;
      // my_alert("(linkto='" + linkto + "'): redirecting iframe to " + new_loc);
      iframe.src = new_loc;
    }

    delete linkto;
    delete iframe_src;
  }
  
  delete loc;
}