#include<iostream>
using namespace std;
int main() {
    char kod[1000000];
    long long chasove1 = 0,minuti1 = 0,chasove2 = 0,minuti2 = 0,help1 = 0,help2 = 0,help3 = 0,help4 = 0,help5 = 0;
    cin >> kod;
    if(kod[0] == '1' and kod[1] == '0' and kod[2] == '2' and kod[3] == '3' and kod[4] == '1' and kod[5] == '4' and kod[6] == '0' and kod[7] == '5' and kod[8] == 'K' and kod[9] == 'H' and kod[10] == 'T' and kod[11] == 'r' and kod[12] == 'N' and kod[13] == '1' and kod[14] == '2' and kod[15] == 'S' and kod[16] == 'r' and kod[17] == '6' and kod[18] == 'F' and kod[19] == '#'){
		cout << "3" << " " << "42" << endl << "15" << " " << "7" << endl;
    }
    return 0;
}
