int N;
scanf("%d",&N);
int rotated;
if(N >= 128){
    rotated=(N - 128) * 2 + 1;
}
else{
    rotated=N * 2
}
printf("%d",rotated);