HASH(0x7f5ce02b77f0)