#include<stdio.h>
int main(){
int N;
scanf("%d",&N);
int rotated;
if(N>=128){
    rotated = (N - 128) * 2 + 1;
}
else{
    rotated = N * 2
}
print("%d",rotated);
}