Original: The population was 12,418 at the 2000 census.
Simplified: The population of Red Bank was 12,418 in 2000.