HASH(0x7f5cbc0b56d0)