HASH(0x7f5ce812b0e8)