21003 x * 0)