import std.stdio;

void main ()
{
    int n;
    readf (" %s", &n);
    writeln ((n + 10) * 2);
}