Wendy is five times as old as Colin will be seven years from now. In 25 years, Colin will be a third as old as Wendy is now. How old is Colin now?
Please reason step by step, and put your final answer within \boxed{}.
user