(no subject)

[ruggedmuskrat]

if($id < 10)
$id='000'.$id;
elseif($id < 100)
$id='00'.$id;
elseif($id < 1000)
$id='0'.$id;

(though technically I don't need that last elseif at the moment.)