HASH(0x9c57adc)