UTF-8 encoding in work.txt file + synchronization