por lo que resulta que la población de Pedroso, en defecto de Túbal, asciende a 1.215 años".