document.write(''); document.write('function jump_to(selector) { if (selector.value != 0) window.top.location.href = selector.value; else return false; }'); document.write(''); document.write('
');