PHP - Funcion para cambiar cadenas

¿Como puedo cambiar un caracter de una cadena?
Lo he intentado con substr pero no me va, algo parecido al mid$
Tengo una cadena
$a="00000000"
y desearia modificarla con algo parecido a
mid(a$,5,1)="1"

Gracias por anticipado

Me autocontesto por si le sirve a alguien

string substr_replace ( string cadena, string sustituto, int comienzo [, int largo])

substr_replace() sustituye la parte de cadena delimitada por los parámetros comienzo y (opcionalmente) largo por la cadena dada en sustituto. Se devuelve el resultado.

Pido perdon por si he molestado a alguien, pero es que me ha costado trabajo encontrar la dichosa funcion.