main(){printf("35%08.f");}