<!--
if (top.location!=this.location) {top.location=this.location}
//-->