function displayMenu() {
   whichDiv=event.srcElement;
   var x=0;var y=0;
   menu1.style.leftPos+=10;
   menu1.style.posLeft=event.clientX;
   menu1.style.posTop=event.clientY;
   menu1.style.display="";
   menu1.setCapture();
}
function switchMenu() {
   el=event.srcElement;
   if (el.className=="menuItem") {
      el.className="highlightItem";
   } else if (el.className=="highlightItem") {
      el.className="menuItem";
   }
}
function clickMenu() {
   menu1.style.display="none";
   menu1.releaseCapture();
   el=event.srcElement;
   if (el.id=="mnuYellow") {
      whichDiv.style.backgroundColor="yellow";
   }
}