Some properties of Huffman codes are presented. It is shown that knowing the probability

of the most likely source letter, there exist new lower and upper bounds on the redundancy of the Huffman code which are tighter for

than those given by Shannon\´s first theorem or by the more recent results of Gallager. It is also shown that the new bounds are the tightest possible for

when it is supposed that PI is the only known probability.