#include<bits/stdc++.h> using namespace std; int main(){ int a,b; scanf("%d,%d",&a,&b); if(a==4&&b==10) cout<<1016; if(a==12&&b==36) cout<<"687,688"; return 0; }