ubstring "0123456789abcdef" 0 4) "0123" (current-time-string) "Wed Sep 30 00:14:02 2009" (substring (current-time-string) 4 7) "Sep"