#include <stdio.h>

int main(void) {
	int a;// your code goes here
    a=2;
    do
    {
     a=a*2-1;
    }while(a<=10000);
    printf("%d",a);
	return 0;
}