Php 如何打印4位数的数字？

我想用php打印数字列表。
但我想打印4位数字（如有必要，前面加零），例如
00019007601291234

我该怎么办？

查看并搜索零填充整数

---

该链接提供了

sprintf

的详细信息，但格式字符串信息适用于相关函数，如

printf

如果原始数字超过四位怎么办？

printf("%04d", $num);

printf ('%04d' ,$num)