Convert int to string in file.write method in writeFile.py