 comments'
                   id=toggle_cookie_COMMENTS  onclick='toggle_cookie("COMMENTS", "c")'>c
              </div>
              <div class=secret_button style="color:gray"
                   title='secret button: turn on debugging'
                   id=toggle_cookie_DEBUG     onclick='toggle_cookie("DEBUG",    "d")'>d
              </div>
              <div class=secret_button style="color:black"
                   title='secret button: about'>
                <a href="about.pl">?</a>
              