/**
 * onChange handler for quicklink drop down box.
 *
 * @param ignore string to be ignored
 *
 * $Id: quicklink.js 2394 2009-06-28 21:07:37Z rafi $
 */
function do_quick_link(ignore) {
    var dd_options = document.getElementById("quicklinkdd").options;
    var dd_selidx = document.getElementById("quicklinkdd").selectedIndex;
    if (dd_options[dd_selidx].value != ignore) {
	window.location=dd_options[dd_selidx].value;
	return true;
    }
    return false;
}