🌈 搜索
📅  最后修改于: 2022-03-11 14:54:59.255000             🧑  作者: Mango
$str = '012345678912'; echo substr($str, 0, 7) . ' ' . substr($str, 7);