<!---

function menuOn(toto,level) {
 if (level < 2)
  toto.style.backgroundColor = '#5a819e';
 else
  toto.style.backgroundColor = '#fbfbfb';
};

function menuOff(toto) {
  toto.style.backgroundColor = 'transparent';
};


// --->