HASH(0x7f5d003ef3a0)