12,488 Random Vectors.