Milloin Herkko on nimipäivä?

Herkko viettää nimipäivää 12. heinäkuuta.