// JAVASCRIPT DOCUMENT
if (top.location != this.location){top.location=this.location};