В летнем лагере 25 детей. В первый день мальчики пошли в кино, а девочки в бассейн. Во второй день все девочки пошли в кино, а мальчики наоборот, в бассейн. Оказалось, что в первый день за все виды досуга было заплачено на 1313 рублей больше, чем во второй день. Известно, что посещение бассейна дороже, чем билет в кино. Сколько в лагере мальчиков? Укажите все подходящие варианты.