若x=2是方程2x减a=7的解,那么a=?