header(routes)
public

The header is part of the HTML page, so we don’t construct it here.