Добавить пространство после 7 символов строки

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