/* package whatever; // don't place package name! */
import java.util.*;
import java.lang.*;
import java.io.*;
import java.text.DateFormat;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
{
// your code goes here
System.
out.
println(full.
format(new Date(2007,
4,
1))); }
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CmltcG9ydCBqYXZhLnRleHQuRGF0ZUZvcm1hdDsKCi8qIE5hbWUgb2YgdGhlIGNsYXNzIGhhcyB0byBiZSAiTWFpbiIgb25seSBpZiB0aGUgY2xhc3MgaXMgcHVibGljLiAqLwpjbGFzcyBJZGVvbmUKewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4gKFN0cmluZ1tdIGFyZ3MpIHRocm93cyBqYXZhLmxhbmcuRXhjZXB0aW9uCgl7CgkJLy8geW91ciBjb2RlIGdvZXMgaGVyZQoJCUxvY2FsZSBsb2NhbGUgPSBuZXcgTG9jYWxlKCJwbCIsIlBMIik7CgkJRGF0ZUZvcm1hdCBmdWxsID0gRGF0ZUZvcm1hdC5nZXREYXRlSW5zdGFuY2UoRGF0ZUZvcm1hdC5TSE9SVCwgbG9jYWxlKTsKCQlTeXN0ZW0ub3V0LnByaW50bG4oZnVsbC5mb3JtYXQobmV3IERhdGUoMjAwNywgNCwgMSkpKTsKCX0KfQ==