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