[Solved] PHP : string number manipulation

var_dump(trim(chunk_split('123456789012',4," ")));