Five years ago, ages of father and his son were in the ratio 7 : 2. Five years hence, ages of the father and his son will be in the ratio 9 : 4. After how many years will the father's age be twice the age of his son?