HASH(0x7f5cec54a0c0)