$str = sprintf('%07d '， 1000)；

Conversion between other types:

(int), (integer)- "Convert to an integer;

(bool), (boolean)- "Convert to Boolean type;

(float), (double), (real)- "Convert to floating-point type;

(String)-"String;

(Array)-"Arrayed;

(Object)-"Become an object;