<?php

$number = '12345678';

$result = sprintf("%s %s %s",
              substr($number, 0, 3),
              substr($number, 3, 2),
              substr($number, 5, 8));
echo("The formatted number is $result.");
?>