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)
Note that non-ascii characters in the above source code will be escaped (such as \x9f).