숫자 0으로 채우기??

<?
$num = 1;
echo sprintf("%02d", $num);
?>

간혹 숫자가 1, 2, 3 이런 식이 아니라 01, 02, 03...10 이런 식으로 해야 하는 경우가 있다.
특히 메뉴 이미지에서.
웹디들이 menu_01.gif 이렇게 이름을 붙여서 준다.
그럴 때 사용하면 된다.
%02d 얘를 외우기가 드럽게 힘들다. -_-
왠지 늙어서 그런 듯

[php.net]