php数字补零

echo sprintf("%03d", 1); //output: 001