Patra'nın nüfusu ne kadar?