I'm trying to output an index of characters from a string. The string is apart of an array, which is gathered from `f = open('times.txt)`, each line in the the "times.txt" file follows the same layout (dd/mm/yyyy, ss.mm). 

I want to only output the last 4 characters as a float, but I'm not sure how to do that. So far I've only managed to output each string from the text document onto a separate line in python, i.e.

```
dd/mm/yyyy, ss.mm
dd/mm/yyyy, ss.mm
dd/mm/yyyy, ss.mm
etc.

```

Here's the code for that:

```
    f = open('times.txt')
lines = f.readlines()

#For loop to force numbers into an individual line
i = 0
for i in range(0,6):
    print lines[i] + ""
#This code is under construction.
def TimeSorter():
    global i
    if i in lines.len(13,17):
        if lines.len(13,17)(i) > 0:
            print lines.len(13,17)

f.close()

```

I only want it to print like the following:

```
ss.mm
ss.mm
ss.mm
etc.

```