Em uma agência bancária trabalham 40 homens e 25 mulheres. Se, do total de homens, 80% não são fumantes e, do total de mulheres, 12% são fumantes, então o número de funcionários dessa agência que são homens ou fumantes é