char *Date = "$WCDATE=%d.%m.%Y %H:%M";
char *Range = "$WCRANGE$";
char *Mixed = "$WCMIXED?Mixed revision:Not mixed$";