Event.observe(window,'load',init);
function init() {Event.observe($("jump"),'change',function(e) {document.location.href=$F(Event.element(e));});}