#include <stdio.h>
#include <string.h>
int main(void) {
char tt[20] = "0123456789";
strcpy(tt, tt + 2);
printf("%d\n", strlen(tt) - tt[9] + '5');
return 0;
}
ICAgICNpbmNsdWRlIDxzdGRpby5oPiAKICAgICNpbmNsdWRlIDxzdHJpbmcuaD4KICAgIGludCBtYWluKHZvaWQpIHsgCiAgICAgICAgY2hhciB0dFsyMF0gPSAiMDEyMzQ1Njc4OSI7CiAgICAgICAgc3RyY3B5KHR0LCB0dCArIDIpOwogICAgICAgIHByaW50ZigiJWRcbiIsIHN0cmxlbih0dCkgLSB0dFs5XSArICc1Jyk7CiAgICAgICAgcmV0dXJuIDA7IAogICAgfQ==