Python Tutorial 10 write to a text file