main(i){scanf("%d",&i);printf("%d",2*i);}