<!--
// prevent being framed in a foreign document
// if (top.location != self.location)
//   {top.location = self.location};
// -->