a ticket office is used for buying tickets