HASH(0x7954adc57e58)