Perchè non dividere semplicemente la stringa e sostituire la parte centrale?

Codice PHP:
$string 'CANELOLLOSORELGH'//16 caratteri

  
function stringer($a){
        
$st1 substr($a,0,5);//prima parte della stringa
        
$st2 substr($a,12);//seconda parte della stringa
        
$new $st1.'1234567'.$st2;//nuova stringa
       
return $new;
    }

//richiamo la funzione e stampo
$teststringer($string);
echo 
$test//output: CANEL1234567ELGH