`String.format("%05x", 9000)`?
# getting-started
u
String.format("%05x", 9000)
?