Original: Pichilemu had 12,392 residents in 2002.
Simplified: The current Mayor of Pichilemu is Roberto Córdova.