if (top.location!=location) top.location.replace(location);