/* ====================================================== *
': This forces the current document to the top of any 
': frames. 
': You MUST either remove it or comment it out if you  
': want the page to be frameable in browsers supporting
': scripting.
'* ====================================================== */
  if (top.location != self.location) {
    top.location.replace(self.location);           // pop to top
  }