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