Adult tickets for a play cost $9 and child tickets cost $8. If there were 23 people at a performance and the theater collected $193 from ticket sales, how many children attended the play?