HASH(0x78c39e67b4b8)