HASH(0x7f5d00dad6c0)