#include <stdio.h>
int main(void) {
char s[8]="Hello12345";
int i=0;
while(s[i]!= '\0'){
i++;
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgljaGFyIHNbOF09IkhlbGxvMTIzNDUiOwoJaW50IGk9MDsKCXdoaWxlKHNbaV0hPSAnXDAnKXsKCQlwcmludGYoIiVjIiwgc1tpXSk7CgkJaSsrOwoJfQoJcHJpbnRmKCJcbiIpOwoJcmV0dXJuIDA7Cn0K