<!--

   /* Set the left menu item for the selected page to appear
    * different than the other menu options so the user can
    * tell which page they are on.
    */
   function setupMenu(pageId) {
  		var pageMenuElement = document.getElementById(pageId);
		if (pageMenuElement != null && pageMenuElement != "") {
		   pageMenuElement.className = "menuSelected";
		}
  	}
  
  	/* Initialize the page elements */
  	function initialize(pageId, focusId) {
  		setupMenu(pageId);
		if (focusId != null && focusId != "") {
		   var focusElement = document.getElementById(focusElement);
		   if (focusElement != null) {
		   	  focusElement.focus();
		   }	
		}
  	}
-->