{
EInteger num = a1.testInteger();
if (num == null) throw ERT.badarg(a1);
Calendar out_date = GregorianCalendar.getInstance(UTC_TIME_ZONE);
out_date.setTimeInMillis(num.longValue() * 1000L);
ETuple3 date2 = new ETuple3();
date2.set(1, ERT.box(out_date.get(Calendar.YEAR)));
date2.set(2, ERT.box(out_date.get(Calendar.MONTH)-Calendar.JANUARY+1));
date2.set(3, ERT.box(out_date.get(Calendar.DAY_OF_MONTH)));