HASH(0x71c4cd073dc0)