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