HASH(0x7f5cedfee1b0)