let s x=Char.code(read_line()).[x]/33;;print_string[|"9 197437 913131
6 877740 144318
9 394088 896046
8 337942 458456
3 709962 585903
ERROR
1 804648 938379
8 811221 329144
6 492253 258781
2 139016 656487
0 984120 969549
8 400529 856867
3 500757 061455
3 908890 146105
8 525628 587518
ERROR
3 964549 610700
6 190939 895724
7 689067 020775
6 285373 477244
1 266404 191440
1 645629 396937
2 707137 965650
4 858159 734705
ERROR";"9 908350 492500
6 599602 105311
5 726023 589517
1 256926 605082
ERROR
0 723700 706880
ERROR
1 924383 062518
5 830353 488690
8 629284 401024
8 203417 962486
0 787360 815900
4 844007 957051
6 803221 853325
4 768253 968787
3 912794 897490
9 100165 864446
9 118758 291814
1 030329 760728
ERROR
6 275783 370006
0 380016 132484
2 107431 813839
6 164559 538309
1 241912 211897";"6 929762 552371
7 364076 040142
0 942869 640570
9 098852 672613
2 096243 229221
ERROR
5 352692 043120
4 822930 908517
7 489925 032052
1 883400 520540
7 413794 564727
0 149997 462177
4 743819 696281
ERROR
0 224760 975457
3 840154 877939
5 920252 763230
ERROR
5 366523 884790
7 768962 180538
2 306915 205041
5 374516 888946
0 854081 604219
2 454493 256280
2 575629 715829"|].(s 10+s 15)