HASH(0x78c39e66fb10)