X x 7 )u003d(