function trimAll(sString)
   {
      while (sString.substring(0,1) == ' '){
	 sString = sString.substring(1, sString.length);
      }
      while (sString.substring(sString.length-1, sString.length) == ' '){
	 sString = sString.substring(0,sString.length-1);
       }
       return sString;
   }

   function OnMenue(event,state)
   {
      if (document.all) el = event.srcElement;
      else el = event.target;
      if(state == 1){
         el.style.backgroundImage = "url(images/menue_02hl.gif)" ;
         el.style.cursor = "pointer";
      }
      else{
         el.style.backgroundImage  = "url(images/menue_02.gif)";
         el.style.cursor = "auto";
      }
   }