private void WriteSettingsToFile(int inst) { TextWriter tw = new StreamWriter("settings.ini"); tw.WriteLine(inst); tw.Close(); }