HASH(0x7f5cedfa40c8)