HASH(0x71c464a07b80)