How old will Jack be when Judy is half as old as Jack?