Input (grade 4): Pichilemu had 12,392 residents in 2002.
Output (grade 5): According to travel guide Fodor's,