Numbering the HTML output