What do numbers in the names of the encodings indicate