В школьном хоре поют 12 девочек, что составляет 75% всех участников хора. Остальные участники хора - мальчики. Сколько мальчиков поет в хоре. В ответе запишите число без единиц измерения.