HASH(0x9ad9bf4)