On a certain hot summer's day, 715 people used the public swimming pool. The daily prices are $1.75 for children and $2.00 for adults. The receipts for admission totaled $1348.75. How many children and how many adults swam at the public pool that day?