string formatting in python,"print('[%i, %i, %i]' % (1, 2, 3))"