HASH(0x78c39e67ebd0)