a ticket office is for selling a ticket