// Used for form-jumps on pulldown menus, on Infotech site

// this function called by body onload
function adjustMenu (itemNum) {

   if (document.navForm) {             // check if navigation-pulldown exists
         if (itemNum != "default") {
                document.navForm.URL.selectedIndex = itemNum;
              } 
         else {
                document.navForm.URL.selectedIndex = 0;
               }
    }
    
   if (document.ServicesForm) {       // check if services-pulldown exists
         if (itemNum != "default") {
                document.ServicesForm.URL.selectedIndex = itemNum;
              } 
         else {
                document.ServicesForm.URL.selectedIndex = 0;
               }
    }

 }
 
function changePage (newAddress) {   // actually jumps page
         if (newAddress != "") {
                 window.location.href = newAddress;;
         }
 }