function swap_class(oggetto,classe)
	{
  var mio_oggetto = document.getElementById(oggetto);
  if(mio_oggetto)
	  	{
	    mio_oggetto.className = classe;
	  	}
	}