Entonces contaba Marvão cerca de 400 habitantes.