/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;
import java.text.*;

/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		String out="";
        String Format="0000.0000";
        Locale.setDefault(Locale.ENGLISH);
        DecimalFormat dfm=new DecimalFormat(Format);
        out=dfm.format(123.45);
        System.out.println("out="+out);
	}
}