On Mon, Jul 19, 2010 at 06:45, Peter Otten <__peter__ at web.de> wrote: > No. If you fire up your python interpreter you can do > >>>> "0"*10 > '0000000000' Ah, you're absolutely right. Sorry, I misunderstood you and your '*'. Good catch. Dick