Tomas is 5 times as old as Antonio today. Antonio is 7 years old. How many years will it take for Tomas to be exactly twice as old as Antonio