The manager of a theater wants to know whether the majority of its
patrons are adults or children. One day, 5300 tickets were sold and the
receipts totaled $25,105. The adult admission is $6.50, and the children's
admission is $3.50. How many adult patrons were there?