HASH(0x7f5ce0fe95f0)