main(i){i*=scanf("%d",&i)*2;vprintf();}