HASH(0x7fedd059ec58)