import java.text.DecimalFormat;
import java.util.Locale;
import java.util.Objects;

public class JI9039403 {

	public static void main(String[] args) {
		Locale.setDefault(Locale.ENGLISH); 
		DecimalFormat df = new DecimalFormat("##0.##E0"); 

		String realOutput = df.format(12345); 
		String expected = "12.3E3"; 

		System.out.println(realOutput); 
		if (Objects.equals(realOutput, expected)) 
		{ 
			System.out.println("OK"); 
		} 
		else 
		{ 
			System.err.println("Formatted output " + realOutput + " differs from documented output " + expected); 
		} 

	}

}