People wrote:
"Just like what Platonides said.
Do you really want to mess around with PHP to get auto-numbering on your headers? I think that is more error prone that the method I outlined."
If I didn't want to "mess around," I wouldn't have asked.
Thanks again, ~~John