Original: On January 1 , 2006 Arendonk had a total population of 12,215 .
Simplified: In 2007 its population was 12329 .