printf("%d",2*scanf("%d"))