Update getlen.py