Original: According to the 2007 census estimate, the city population was 233,152.
Simplified: Laredo has a population of 207,787.