module pind.samples.ja.stream_redirect.stream_redirect_1;

import std.stdio;

void main() {
    double number;
    readf(" %s", &number);

    writeln(number * 2);
}