[aoj]0055

#include <iostream>
#include <cstdio>
main(){
  double d;
  while(std::cin>>d)printf("%.7f\n",633*d/81);
}