This document includes a javascript in an external file, designed to create a header that can be easily changed.