HASH(0x7fee145c1768)