^9 x)