HASH(0x7f5ce40ab5b8)