HASH(0x71c464a074b0)