ht.py