`document.getElementById('header')` should be more performant, what do you think?