以下程序段的输出结果是什么

char s1[128]="Andriod",s2[128]="Ios";
strcat(s1,s2+1);
puts(s1);
strcpy(s1+2,s2);
puts(s1);

Andriodos
AnIos

Andriodos
AnIos