HASH(0x7f5ce0a7ce10)