ajouter de l'espace après 7 caractères de chaîne

$str = '012345678912';
echo substr($str, 0, 7) . ' ' . substr($str, 7);
Thankful Teira