<Tr> <Td> Florida International University </Td> <Td> 8,000 </Td> </Tr> <Tr> <Td> Miami Dade College </Td> <Td> 6,200 </Td> </Tr> <Tr> <Td> Precision Response Corporation </Td> <Td> 5,000 </Td> </Tr> <Tr> <Td> City of Miami </Td> <Td> 4,309 </Td> </Tr>

What is the population of miami florida 2017