HASH(0x7fee145a41e0)