Билет в цирк стоит для взрослого 1000 руб., для школьника – половину стоимости взрослого билета, а для дошкольника – четверть стоимости взрослого билета. Сколько рублей должна заплатить за билеты семья, включающая двух родителей, двух школьников и одного пятилетнего малыша?