string(5) "btor3"
Fake temp mail