function pagejump(to_url) {
            if (to_url != "") {
            window.location=to_url
      }
}