#include <iostream>
#include <vector>
using namespace std;
int convert(int num) {
if (num == 1) return 14; // 1 转为 14
if (num == 2) return 15; // 2 转为 15
if (num == 14) return 16; // 输入中的14(小王)转为16
if (num == 15) return 17; // 输入中的15(大王)转为17
return num;
}
int main() {
vector<int> cards;
for (int i = 0; i < 17; ++i) {
int num;
cin >> num;
cards.push_back(convert(num));
}
}