function select_jump_to(obj, restore) {
    eval("parent.location='"+obj.options[obj.selectedIndex].value+"'");
    if (restore) obj.selectedIndex=0;
}