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