#import main(int n){cin>>n;printf("%d",n*2);}