function menu(no)
{
  if(document.getElementById('m' + no))
  {
   document.getElementById('m' + no).style.paddingLeft="6px";
   document.getElementById('m' + no).style.borderLeft="solid 4px #7a0000";
   document.getElementById('m' + no).style.color="#7a0000";
  }
}