function cambia_stile(oggetto,classe) {
   document.getElementById(oggetto).className=classe;
}