Дом ремонтировали 12 мужчин и 8 женщин. 5 человек из них перевели на другую работу. Сколько человек осталось ремонтировать дом?