read
reads the entire file, by default. And that will be treated as a string in Python. Quoting from the documentation,
If the size argument is negative or omitted, read all data until EOF is reached. The bytes are returned as a string object.
So, you have to explicitly convert the string to a number, like this
HS = int(highscoreFile.read())