x= x + 7 has