HASH(0x7f5cedec5d18)