il punto e virgola dopo la dichiarazione di $leggi