Padding a value with leading zeros

Question

Hi
I am trying to create a filename (String) using a sequence int. I need this int to be 6 digits, with leading zeros
i.e. if my seqence number is 23 my filename (String) should be:
FILE000023
Obviously I can do this by creating my own method that iterates through the number, but I was wondering if there was a simple method to change an int to a String and pad it out with leading zeros.
Thanks
Neil.

Answer 1

import java.text.*;
public class DecimalFormatTesting {
     public static void main( String[] args ) {
          DecimalFormat format = new DecimalFormat("###.###");
          format.setMinimumIntegerDigits( 6 );
          String integ = format.format( 123 );
          System.out.println("str: " + integ);
     } // end of main()
}hope this helps
partha