Bad Cookie

The call to setcookie() in this file should not work
because it is not the first thing sent to the browser.
But it does seem to work in spite of this ...