function redirect() {
 if (top.location!=this.location) top.location=this.location;
}