-- Mike Schroeder	x --25-Jan-83 16:11:56Server input from
   String.AppendString[log, from];
String.AppendString[log, ";: "lL];   ;