@auraz What about http://stackoverflow.com/questions/339007/python-nicest-way-to-pad-zeroes-to-string ? I thought that this was OK syntax. Also, this works!