If 7+3x=22, then what is 2x?