John is three times as old as his son, David. Five years ago, John was four times as old as David. How old are John and David now? Let's think step by step and output the final answer within \boxed{}.
user