В группе фигурным катанием занимаются 8 девочек, что в 2 раза больше, чем мальчиков. Сколько мальчиков занимается фигурным катанием?