What variable types are 'form' and 'get_highscore' in the DatabaseConnection.js script. I'd like to convert the script to C#