HASH(0x7fee0af391c8)