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