void WriteIni(str FileName, str Section, str Key, any Value)
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.