How to write integers to a file?

[Steven Sartorius]

In article <mailman.981725706.11283.python-list at python.org>, "Chris
Gonnerman" <chris.gonnerman at usa.net> wrote:

> outf.write("%d %d %d %d\n" % (i, j, k, l))
> 
> The % operator with a string on the left and a singleton value or tuple
> on the right performs printf-style substitution on the string.  You may
> need to read the man page for printf if you are not a C programmer.
> 

This did the trick!  Thanks a lot.

Steve