HASH(0x7f5ce0c5adc0)