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

downloadDownload PNG downloadDownload JPEG downloadDownload SVG

Tip: You can change the style, width & colours of the snippet with the inspect tool before clicking Download!

Click to optimize width for Twitter