HASH(0x5673e44edb18)