string(5) "yafny"
Fake temp mail