Ответ:

Девочек было на 4 больше, чем мальчиков.

Вычислим: \(9 + 4 = 13\).

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