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