def ReadHighScoreFile(file):