String formatting in 256colors2.py