// menu functions


function openMenu(menu){
	  if (document.getElementById) {
	    var el = document.getElementById (menu);
        var img = document.getElementById ('img_'+menu);
		  if (el && el.className) {
		    if (el.className == 'menuOpen'){
		      el.className = 'menuClosed';
		      img.alt =  'Open Group';
		      img.title =  'Open Group';
		      img.src =  'images/menu_open.gif';
		    }
		    else	{
			el.className = 'menuOpen';
		      img.alt =  'Close Group';
		      img.title =  'Close Group';
		      img.src =  'images/menu_close.gif';
		    }

		  }
	    }
	  }