#include <stdio.h>
#define MAXLENGTH 1000
int getline(char s[],int maxline){
int c=0,i=0;
for(i=0;i<maxline-1&&(c=getchar())!=EOF&&c!='\n';++i){
s[i]=c;
if(c=='\n'){
s[i]=c;
++i;
}
}
s[i]='\0';
return i;
}
main()
{
int len=0;
char line[MAXLENGTH];
while((len=getline(line,MAXLENGTH))>0){
printf("%d\n",len);
printf("%s\n",line);
}
}