<div dir="auto">Hi all<div dir="auto"><br></div><div dir="auto">In ordre to change files names, I need to convert integers into strings but with zeros prior to it</div><div dir="auto"><br></div><div dir="auto">Example if i=1 i need 0001 and not 1</div><div dir="auto"><br></div><div dir="auto">I don't know how to use something like "%4d" with "string"</div><div dir="auto"><br></div><div dir="auto">Thanks</div><div dir="auto"><br></div><div dir="auto">Paul</div></div>