HASH(0x7f5ce84e5b18)