HASH(0x78c39e62ef18)