HASH(0x7f5ccd32c8d8)