printf('%.3f\n',2*pi*abs(scanf('%d')))