HASH(0x7f5ca9ff28c8)