XEmacs/xemacs/etc/time
