done with String.py