import std.stdio;void main(){int n;scanf("%d",&n);write(2*n);}