If a certain number is doubled and the result is increased by 7, the number obtained is 19. What is the original number?