// infoworks archive drop-down


function jumpMenu(){
location=document.archive.menu.options[document.archive.menu.selectedIndex].value;
}