a ticket office is for buying a ticket