HASH(0x5723f8e35d80)