HASH(0x7f5ccd0b31b8)