HASH(0x7954adc531c0)