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