Original: Pichilemu had 12,392 residents in 2002.
Simplified: According to travel guide Fodor's,