$filled_int = sprintf("%04d", $your_int)
$number = 12;$width = 4;$padded = str_pad((string)$number, $width, "0", STR_PAD_LEFT);