HASH(0x7f5ca43ccd00)