/** Typical "Jump" Menu */
function goNavigationDroplist(navElement,dummyValue) {
    var navOptionValue = navElement.options[navElement.selectedIndex].value;
    if (navOptionValue != dummyValue) {
        top.location = navOptionValue;
    }
}