HASH(0x7f5cda08b3e8)