Number Format

<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
</head>
<body>
<?
$num = 1;

// Output number in $num with 3 digits with "0" added.
printf("%03d", $num);
?>
<hr />
<?
// Make number 5 to 15 with for loop.
for($num=5;$num<=15;$num  ){

// Output number in $num with 4 digits with "0" added.
printf("%04d", $num);
echo "<br/>";
}
?>
</body>
</html>