If twice a number is decreased by 7, the result is 19. What is the number?