Update hafman.py