#include <stdio.h>
 
int main(void) {
    int a = 3;
    int n = 0;
 
    while (a <= 10000) {
        a = 2 * a - 1;
        n=n+1;
    }
 
    printf("%d", a);
 
  	return 0;
}