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