HASH(0x7f1379eb8840)