World population. (U.S. Dept. of Commerce, Bureau of the Census :)