// JavaScript Document

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