HASH(0x7f5ce053dac0)