writing nicely formatted text in python,"f.write('%-40s %6s %10s %2s\n' % (filename, type, size, modified))"