#include <stdio.h>
#include <math.h>
int main()
{

    int n, k, x;
    x = 1;
    scanf("%d %d", &n, &k);

    /*2^k * 定数 で 2^k ~ 2^Nを求める */
    /**/   
	    
    /*2^k*/
    
    if (k == 0)
	printf("%d\n", (int)powf(2, 30));
    else if (n > k) {
	printf("%d\n", (n-k) * 2);	    
    } else {
	printf("0\n");
    }

    return 0;
}