Input (grade 4): Pichilemu had 12,392 residents in 2002.
Output (grade 9): The current Mayor of Pichilemu is Roberto Córdova.