HASH(0x78c35265bf80)