Si quisiera formatear un numero con 4 digitos siempre como lo haria en php?
ejemplo:

"0023" + 1= "0024" , pero que siempre me ponga esos 0!... existe algun tipo de funcion?
Gracias