1_9

/*
 * The program is copy the input to output, and replace the multiple spaces


 * by one space
 *
 * zj
 * 2010-5-7
 */

#include <stdio.h>

int main(){
        int isfirstspace = 0;
        int c;
        while((c = getchar()) != EOF){
                if(c == ' '){
                        ++isfirstspace;
                }
                else{
                        if(isfirstspace != 0){
                                putchar(' ');
                                isfirstspace = 0;
                        }
                        putchar(c);
                }
        }
        return 0;
}