A 42 year old man has a son 12 years old. In how many years will the father be twice as old as his son.