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