HASH(0x7f5d00dc0bb0)