function visit(newURL) {
    if (newURL != "") {
    top.location.href=newURL
  }
}