updated: DES.py