HASH(0x7f5ce25dc9f8)