A man who is 42yrs old has a son of 12yrs old in how many years will the father be twice as old as his son?