settings.ini [options] user1=bla|bla|bla|on blah=bla|blabla|bla|off ...
$gettok($readini($mircdirsettings.ini, options, user1),4,124)