paulrouget/gaia — comment on commit 99e4723e6aa87768bf69f05c6d8d97da53454441
File: index.html line 79
By vingtetun:

document.getElementById sounds approriate here since you're basically looking for an id