aggiunto un paio di funzioni da definire