HASH(0x7f5ce0ffc5c8)