public String toString() { refresh_components();  return days[day] + " " + months[month] + " " + fixed_int(date) + " " + fixed_int(hrs) + ":" + fixed_int(min) + ":" + fixed_int(sec) + " " + tzname[isdst ? 1 : 0] + " " + (1900 + year);
public String toString() { Calendar cal = Calendar.getInstance(); cal.setTimeInMillis(time); String day = "0" + cal.get(Calendar.DATE); String hour = "0" + cal.get(Calendar.HOUR_OF_DAY); String min = "0" + cal.get(Calendar.MINUTE); String sec = "0" + cal.get(Calendar.SECOND); String year = "000" + cal.get(Calendar.YEAR); return weekNames[cal.get(Calendar.DAY_OF_WEEK) - 1] + " " + monthNames[cal.get(Calendar.MONTH)] + " " + day.substring(day.length() - 2) + " " + hour.substring(hour.length() - 2) + ":" + min.substring(min.length() - 2) + ":" + sec.substring(sec.length() - 2) + " " + cal.getTimeZone().getDisplayName(cal.getTimeZone().inDaylightTime(this), TimeZone.SHORT) + " " + year.substring(year.length() - 4);
	public String toString() {		refresh_components();		return days[day]			+ " "			+ months[month]			+ " "			+ fixed_int(date)			+ " "			+ fixed_int(hrs)			+ ":"			+ fixed_int(min)			+ ":"			+ fixed_int(sec)			+ " "			+ tzname[isdst			? 1			: 0] + " " + (1900 + year);	}