The departure time is 9:17.
Thanks - that's all I needed today. Goodbye!
restaurant-day restaurant-name restaurant-people restaurant-time train-arriveby train-day train-departure train-destination train-people
restaurant-day restaurant-name restaurant-people restaurant-time train-arriveby train-day train-departure train-destination train-people
restaurant-day restaurant-name restaurant-people restaurant-time train-arriveby train-day train-departure train-destination train-people
restaurant-day restaurant-name restaurant-people restaurant-time train-arriveby train-day train-departure train-destination train-people