string(5) "nuzmv"
Fake temp mail