>>963
#include <stdio.h>
int main()
{
  int ch;
  while((ch = getchar()) != EOF)
  {
    putchar(ch);
    if(ch == ' ')
    {
      do { ch = getchar(); } while(ch == ' ');
      ungetc(ch);
    }
  }
  return 0;
}