Interpret the argument clock as number of seconds since Jan,
1st, 1970, 0.00 and convert it to a nice date and time string.
If clock is not specified, time() is used as default.
EXAMPLE
write(ctime()+"\n");
This will print out something like "Fri Jul 17 19:13:33 1992".