void WriteIni(str 1, str 2, str 3, any 4)
Writes specified value to an INI file. Parameter 1 is the name of the INI file, parameter 2 – the name of a section in the INI file, parameter 3 – the name of a key in the section. Last parameter should be set to the value you wish to be written to the INI file, it can be of any type.