HASH(0x7fee125b3b40)