EDIT: Lold, double beat, I should learn to refresh before posting..
No, nothing of the above works :S A string which has gotten a value out of a file can NEVER obtain a new value through INI_String, not even if emptied before in ANY way. How do we normally solve this?