如何把000000001转换成000/00/00/01

怎么把000000001转换成000/00/00/01？
怎么把000000001转换成000/00/00/01？
------解决方案--------------------

$s = '000000001';<br />
echo trim(preg_replace('/^\d{1,3}<br><font color='#FF8000'>------解决方案--------------------</font><br>\d{2}/', '$0/', $s), '/');

000/00/00/01

------解决方案--------------------
$s='000000001';
$array=array();
$array[]=substr($s,0,3);
$array[]=substr($s,3,2);
$array[]=substr($s,5,2);
$array[]=substr($s,7,2);
echo implode('/',$array);