#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);
        return 0;
    
}