<!--//

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