attento che document.all non funziona su netscape 6 e mozilla, dove invece si usa document.getElementById (che funge anche su IE6)