Did you know that 13 was a lucky number for American movie theater magnate Harry E. Huffman ?