program time;

import Time;

Void main() {
	putStrLn(datestring());
	putStrLn(timestring());
}

"Return a date in String form."
public String datestring(Time t = localTime()) {
    mon = string(t.mon);
    day = string(t.wday);
    return day+" "+String(t.mday)+" "+mon+" "+String(t.year);
}

"Return a time in String form."
public String timestring(Time t = localTime()) {
    min = String(t.minute);
    if (length(min)==1) min = "0"+min;
    return String(t.mday)+"/"+String(int(t.mon))+"/"+String(t.year)+" "+
	String(t.hour)+":"+min;
}