const 
  znaki = [',', '.', '!', '?', ':', ';'];
var 
  t, tx: text; 
  s: string; 
  i, len: integer;
begin
  assign (t, 'c:\xxx.txt'); 
  reset (t);
  assign (tx, 'c:\yyy.txt');
  rewrite (tx);
  while not eof (t) do begin
    readln (t, s);
    len := length (s);
    for i := 1 to len do begin
      if (s[i] in znaki) and (s[i+1] <> ' ') then
        insert(' ', s, i+1);
    end;
    write (tx, s[i]);
  end;
  close (t);
  close (tx);
end.