function setMenu(id){
  menuitem = document.getElementById("m"+id);
  if(!menuitem)
    return;
  menuitem.style.listStyleImage = 'url("/images/listimg.gif")';
}