main(){printf("35%08d",0);}