a me funziona con Firefox... se non dovesse più funzionare dovrei modificare circa un centinaio di siti
(il getElementById è stato introdotto dopo)