Added string_times.py