PHP
$string = 9;
echo str_pad($string, 5, '0', STR_PAD_LEFT); // Resultado: 00009