function breakout_of_frame() {
   if (top.location != location) {
      top.location.href = document.location.href;
   }
}

function breakout_of_frame_href() {
   var argv = breakout_of_frame_href.arguments;
   var dest = argv[0];
   if (top.location != location) {
      top.location.href = document.location.href;
   }
   top.location.href = dest;
}