HASH(0x78c39e67bb00)