SYNOPSIS
	string ctime(int clock)

DESCRIPTION
	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".
	
SEE ALSO
	time(E)