#include<stdio.h>#include<string.h>char *s="12345";int main(){printf("%d\n%d\n",strlen(s));return 0;}