m:-readln(A),format('~d',A*2).