void work(){ char c=getchar(); while(c==' ') c=getchar(); while(c!=' ') { a[++len]=c; c=getchar(); }}