// file globale delle funzioni javascript