<!-- common HTML used near the top of the web pages -->
