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