HASH(0x7f1379eda3b8)