print raw_input()+"\n1145148101919"