// JavaScript Document

<!-- makes sure page does not load into a frameset -->
if (window != window.top)
  top.location.href = location.href;