main(){printf("602214076%015.f");}