HASH(0x9bcd8dc)