Hola dieguicho y Nachzeher:
Lo correcto y estandar es getElementById (g minúscula)
Para cuando se usa el atributo name, se puede usar getElementsByTagName, pero debido a que explorer falla no es conveniente.
Para usar con explorer también se puede de forma más simplificada, sin "document.all" ni "document.getElementById", pero con la sintaxis javascript se puede lograr alguna síntesis para escribir menos, por ejemplo, si se le quiere dar varios estilos al menú, se puede poner:
with (document.getElementById("menu").style) {
position = "absolute";
left = "100px";
top = "200px";
visibility = "visible";
...
}
Saludos