char number[80], bak;

a++;
bak = a[2];
strcpy(number, a);
strcat(number, "17");
a += 2;
a[0] = bak;
strcat(number, a);
printf("学籍番号：%s",number);