function cambiaClase()
{
     allNodes = document.getElementsByClassName("menu_actiu");
	for(i = 0; i < allNodes.length; i++) {
      /* alert(allNodes[i].innerHTML); */
	  allNodes[i].className='';
    }

	for (i=0;i<arguments.length;i++) {
		elem = document.getElementById(arguments[i]);
     	elem.className = 'menu_actiu';
  	}
	 

}