Agregar un guión en una variable varchar

tengo una variable tipo char de 13 posiciones (varchar(13)) en la cual guardo 13 números.


Lo que requiero es concatenarle algunos guiones después del carácter 8 y otro después del carácter 11.



Por ejemplo a la hora de darlo de alta tengo 0123456789012


Pero requiero que a la hora que se muestre aparezca de la siguiente manera: 01234567-890-12



Agradezco su ayuda.