/* toon submenu item met naam hideSubMenuItem en verberg alle andere submenu items */
         function selectMenu(mainMenuItem, subMenuItem) {
            
            resetMenuItems();            
            
            var mmItem = document.getElementById(mainMenuItem);
            if (mmItem != null) {
               mmItem.style.backgroundColor='#FFFFFF';
               mmItem.title = "selected";
            }
            
            var smMenu = document.getElementById(subMenuItem);
            if (smMenu != null) {
               smMenu.style.display = "block";
            }
            
            return true;
         }

         
         /* verberg alle submenu items, ga er van uit dat er niet meer dan 20 zijn */
         function resetMenuItems() {
            for (var i=1; i<20; i++) {
               var subMenu = document.getElementById('sub' + i);
               if (subMenu != null) {
                  subMenu.style.display = "none";
               }
            }
            
            for (var j=1; j<20; j++) {
               var mainMenu = document.getElementById('main' + j);
               if (mainMenu != null) {
                  mainMenu.title = "";
                  mainMenu.style.backgroundColor = "#EDECE7";
               }
            }
            
            return true;            
         }
         
         /* main menu alleen grijs maken als het niet selected is */
         function mainMenuMouseOver(mainMenuItem) {
            var mmItem = document.getElementById(mainMenuItem);
            if (mmItem != null) {
               if (mmItem.title != "selected") {
                  mmItem.style.backgroundColor = "#EDECE7";
               }
            }
         }         
         
			 
			/*
			 * enable hot keys.
			 */
			function hotKeys (event) {
			
			  // Get details of the event dependent upon browser
			  event = (event) ? event : ((window.event) ? event : null);
			  
			  // We have found the event.
			  if (event) {   
			    
			    // Hotkeys require that either the control key or the alt key is being held down
			    if (event.ctrlKey || event.altKey || event.metaKey) {
			    
			      // Pick up the Unicode value of the character of the depressed key.
			      var charCode = (event.charCode) ? event.charCode : ((event.which) ? event.which : event.keyCode);
			      
			      // Convert Unicode character to its lowercase ASCII equivalent
			      var myChar = String.fromCharCode (charCode).toLowerCase();
			      
			      // Convert it back into uppercase if the shift key is being held down
			      if (event.shiftKey) {myChar = myChar.toUpperCase();}
			          
			      // Now scan through the user-defined array to see if character has been defined.
			      for (var i = 0; i < keyActions.length; i++) {
			         
			        // See if the next array element contains the Hotkey character
			        if (keyActions[i].character == myChar) { 
						// Yes - pick up the action from the table
			          	var action;
			            
			          	// If the action is a hyperlink, create JavaScript instruction in an anonymous function
			          	if (keyActions[i].actionType.toLowerCase() == "link") {
			            	action = new Function ('location.href  ="' + keyActions[i].param + '"');
			          	} else if (keyActions[i].actionType.toLowerCase()  == "code") {
			          		// If the action is JavaScript, embed it in an anonymous function
			            	action = new Function (keyActions[i].param);
			          	} else {
			          		// Error - unrecognised action.
			            	break;
			          	}
			           
			          	// At last perform the required action from within an anonymous function.
			          	action ();
			         
			          	// Hotkey actioned - exit from the for loop.
			          	break;
			        } 
			      }
			    } else {
					var keycode = window.event.keyCode;	      
		  		  	for (var i = 0; i < keyActions.length; i++) {
						if (keyActions[i].character == keycode) { 
			        		if (keyActions[i].actionType.toLowerCase()  == "code") {
			            		action = new Function (keyActions[i].param);
							}
							action();
			        	}			    	
		  		  	}
			    }
			  }
			}	
         
         
       function doPrint()
       { var n=navigator.appName
         var v=parseInt(navigator.appVersion)
         if (n == "Netscape" && v >= 4)
         { window.print() }
         else
         { var m="Afdrukken is met deze browser helaas niet mogelijk";
           if (n == "Microsoft Internet Explorer" && v >= 4)
           { m += ", gebruik uw rechter muisknop om af te drukken" }
           alert(m) }
       }