: kkk * x: