Properties of Hamming Codes