Quantos filhos tem o professor Girafales?