4=x(mod7)