new file:   short.py