#include<stdio.h>
int main(void){
    int d;
    scanf("%d",&d);
    if((1<=d)&&(d<=2000))
    printf("%d\n",d);
    else
    printf("???\n");
    return 0;
}