<!-- Hide from old browsers

//alert("set trap refresh:"+document.title);
// refresh via f5 trap
document.onkeydown = function ()
{
  // alert(window.event.keyCode);
  if (window.event && window.event.keyCode == 116) 
  { 
    // Capture and remap F5 to a new dummy keycode.
    window.event.keyCode =0;

    // Call the refresh function in top frame.
    if (parent)
    {
      if (parent.parent)
      {
        if (parent.parent.doRefresh)
        {
          parent.parent.doRefresh();
        }
      }
    }
    return false;
  }
  else
  {
    if (window.event)
    {
      if (parent)
      {
        if (parent.parent)
        {
          if (parent.parent.captureKeys)
          {
            return(parent.parent.captureKeys(window.event.keyCode))
          }
        }
      }
    }
  }
}
function altf5trap() {
  
  // This block of code traps the f5 event preventing refresh operation.
  if (window.event && window.event.keyCode == 116) 
  { 
    // Capture and remap F5 to a new dummy keycode.
    window.event.keyCode = 505;
  }
  
  if (window.event && window.event.keyCode == 505) 
  { 
    // New action for F5
    return false; 
  }
}
// End hiding -->