function quick_links_jump(s) {
    var url = document.quick_links_form[s].options[document.quick_links_form[s].selectedIndex].value;
    if (url != '' && url != 'null') {
        document.location = url;
    }
}