#include <stdio.h>
void pda_convert(int *pre, int *cur);
int main () {
int a, b;
scanf("%d", &a);
pda_convert(&a, &b);
printf("output:%d\n", b);
return 0;
}
void pda_convert(int *pre, int *cur) {
if(*pre < 4) { // SLC: [0,3]
*cur = *pre;
} else if(*pre < 1384) { // TLC: [4,1383]
*cur = (*pre - 4) / 3 + 4;
} else if(*pre < 1400) { // MLC: [1384,1399]
*cur = (*pre - 1384) / 2 + 464;
} else if(*pre < 2780) { // TLC: [1400,2779]
*cur = (*pre - 1400) / 3 + 472;
} else {
*cur = (*pre - 2780) + 932;
}
}