<!--
function urlJump(page) {
 if (page != "") { top.location.href=page; }
}
-->