var _menu_minus=new Image();
var _menu_plus=new Image();

_menu_minus.src="img/decotri-haut_menu.gif";
_menu_plus.src="img/decotri-bas_menu.gif";

    
function menu_show_hide(imageid,id) {
  var image=document.getElementById(imageid);
  var objet=document.getElementById(id);
  if (objet.style.display=='none') {
	image.src=_menu_minus.src;
	objet.style.display='';
  }
  else {
	image.src=_menu_plus.src;
	objet.style.display='none';
  }
}