not in list buy_movie_tickets time 4 00 pm , theatre_name cinemark 12 downtown san mateo , movie doctor who animated . buy_movie_tickets time 4 00 pm , theatre_name cinemark 12 downtown san mateo , movie doctor who animated .