Ответ:

Найдём число мальчиков: \(25\cdot0{,}40=10\). Число девочек: \(25-10=15\).

Ответ: 15 девочек.