var old=null;
function changemenu(mydiv){
  var conopen=" <a href='#'  onclick=changemenu('rightInfo'); onMouseOut=\"MM_swapImgRestore()\"; onMouseOver=\"MM_swapImage('Image13','','../images/context_open_over.gif',1)\"; onMousedown=\"MM_swapImage('Image13','','../images/context_open_click.gif',1)\"><img src='../images/context_open.gif' name='Image13' width='18' height='25' border='0'></a>";
   var conclosed=" <a href='#'  onclick=changemenu('rightInfo'); onMouseOut=\"MM_swapImgRestore()\"; onMouseOver=\"MM_swapImage('Image13','','../images/context_closed_over.gif',1)\"; onMousedown=\"MM_swapImage('Image13','','../images/context_closed_click.gif',1)\"><img src='../images/context_closed.gif' name='Image13' width='18' height='25' border='0'></a>";

  var obj = document.getElementById(mydiv);
  if (old!=null&&old!=obj)
    old.style.display='none';
  old=obj;
  if (obj.style.display=='none'){
    obj.style.display='block';
	document.getElementById("context_icon").innerHTML =conopen;
  }else{
    obj.style.display='none';
	document.getElementById("context_icon").innerHTML =conclosed;
  }
}