main(n){printf("%d",2*atoi(gets()));}