HASH(0x7954adc57a20)