HASH(0x78c39e67f0c8)