Agregar espacio después de 7 caracteres de cadena

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