HASH(0x7f5cdede54c0)