HASH(0x7f5cadeb3470)