HASH(0x7f5cedfa5c68)