[RESUELTO] Problemas al cambiar estilo de un div

[David]

¿Cuál es el objetivo de esta línea?:

Código javascript:

var menu = document.getElementById(this);