shorten.py