8231 X * 0)