HASH(0x7f5ce0ca02b0)