HASH(0x7f5cdcfa57b8)