Stai usando un browser molto obsoleto. Puoi incorrere in problemi di visualizzazione di questo e altri siti oltre che in problemi di sicurezza. . Dovresti aggiornarlo oppure usarne uno alternativo, moderno e sicuro.
ho copiato il testo dello js, l'ho incollato su blocco note e salvato con estensione .js in una cartella creata ad hoc
che ho poi inserito nella "cartella js dell'utente".