#include<bits/stdc++.h>
using namespace std;

int main(){
  int r=3797;
  cout<<r<<endl;
}