Trains headed for destination A arrive at the train station at 15-minute intervals starting at 7:00 am, whereas trains headed for destination B arrive at 12-minute intervals starting at 7:07 am. If a passenger arrives at the station at a time uniformly distributed between 7:00 am and 8:00 am and then gets on the first train that arrives, what proportion of time does the passenger go to destination A