Milloin Jasmin on nimipäivä?

Jasmin viettää nimipäivää 9. heinäkuuta.