Can we re-format in this way?
```javascript
document.getElementById('splash_section')
  .setAttribute('aria-hidden', 'true'); 
```