I have a plugin that numbers heading tags from a custom starting number a user sets.
It creates the headings like: