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