Is Highscore.txt a file you generate? If so, why not delimit the data like so:
name,score
name,score
name,score
...
Then, you could use file() to retrieve all the data and explode each element back into name and score.
If you aren't generating this file, give us a few sample lines so we can better help you parse it out.