В пятом классе 12 мальчиков, что составляет три седьмым учащихся класса. Сколько девочек в этом классе?