main(){printf("35%08hhx");}