/* package whatever; // don't place package name! */
import java.util.*;
import java.lang.*;
import java.io.*;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
{
System.
out.
printf("%d\n",
1234); System.
out.
printf("%4d\n",
1234); System.
out.
printf("%4d\n",
123); System.
out.
printf("%4d\n",
123456); }
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCVN5c3RlbS5vdXQucHJpbnRmKCIlZFxuIiwxMjM0KTsKCQlTeXN0ZW0ub3V0LnByaW50ZigiJTRkXG4iLDEyMzQpOwoJCVN5c3RlbS5vdXQucHJpbnRmKCIlNGRcbiIsMTIzKTsKCQlTeXN0ZW0ub3V0LnByaW50ZigiJTRkXG4iLDEyMzQ1Nik7Cgl9Cn0=