main(){printf("808017424794512875886459904961710757005754368%09d",0);}