Fri Sep 13:58 2002

decode-time is a built-in function. (decode-time &optional SPECIFIED-TIME)