Update hall.py