HASH(0x7f5cbac678f0)