--- externalform.c.orig	Thu May 24 16:44:00 2001
+++ externalform.c	Thu May 24 17:14:05 2001
@@ -175,10 +175,8 @@
 	UInt16 length = FldGetTextLength(field);
 
 	DateTimeType dateTime;
-	Char header[20 + dateStringLength + timeStringLength];
+	Char header[40];
 	Char titleStr[] = "Plucker URLs";
-	Char dateStr[dateStringLength];
-	Char timeStr[timeStringLength];
 	Char null = '\0';
 
 	static UInt32 secs = 0;
@@ -190,14 +188,9 @@
 	if (!secs) {
 		secs = TimGetSeconds();
 		TimSecondsToDateTime(secs, &dateTime);
-		DateToAscii(dateTime.month, dateTime.day, dateTime.year,
-			    PrefGetPreference(prefDateFormat),
-			    (Char *) & dateStr);
-		TimeToAscii(dateTime.hour, dateTime.minute,
-			    PrefGetPreference(prefTimeFormat),
-			    (Char *) & timeStr);
-		StrPrintF(header, "%s %s %s\n", titleStr, dateStr,
-			  timeStr);
+		StrPrintF(header, "%s %4d-%02d-%02d %02d:%02d\n", titleStr,
+					dateTime.year, dateTime.month, dateTime.day,
+					dateTime.hour, dateTime.minute);
 	} else {
 		StrCopy(header, "\n");
 	}