Relleno de ceros en XSLT

¿Hay alguna función que rellene los ceros a la izquierda?

Los requisitos de lo que estoy tratando de hacer son:

No sabemos la longitud de la cadena de entrada que viene.Si es menos de 20 tenemos que rellenar ceros en el lado izquierdo.Si la longitud de la cadena de entrada es 10, entonces tenemos que rellenar 10 ceros en el lado izquierdo.Ejemplo

Entrada:

1234567899

Salida:

00000000001234567899

Respuestas a la pregunta(1)

Su respuesta a la pregunta