format-number(number(.), '00000').
Here is an example of the input and output:
| Input | Output |
|---|---|
| 1 | 00001 |
| 12 | 00012 |
| 123 | 00123 |
| 1234 | 01234 |
| 12345 | 12345 |
Ruminations on Declarative Systems, Metadata Publishing and the Semantic web
| Input | Output |
|---|---|
| 1 | 00001 |
| 12 | 00012 |
| 123 | 00123 |
| 1234 | 01234 |
| 12345 | 12345 |
0 comments:
Post a Comment