il codice per i browser DOM 1 W3C compatibili è:

document.getElementById("attributo_ID")

da usare (+ o -) come document.all per Explorer.
ciauz