#include<bits/stdc++.h>
using namespace std;
#define ll long long
int q[105];
int w[105];
int main()
{
double ans=1;
for(int i=1;i<=9999;i++)
{
ans=ans+log(i*1.0)/log(2.0);
}
printf("%d\n",(int)ans);
}
#include<bits/stdc++.h>
using namespace std;
#define ll long long
int q[105];
int w[105];
int main()
{
double ans=1;
for(int i=1;i<=9999;i++)
{
ans=ans+log(i*1.0)/log(2.0);
}
printf("%d\n",(int)ans);
}