import java.text.DecimalFormat;
import java.text.NumberFormat;
public class Main {
public static void main(String[] argv) throws Exception {
NumberFormat formatter = new DecimalFormat("000000");
String s = formatter.format(-1234.567);
System.out.println(s);
// number was rounded up
}
}
//-001235