// inserisci di seguito le funzioni del javascript esterno per l'area banner