#include <cstdio>
#include <cchar>

int main()
{
  using namespace std;
  int c, n; 
  while ((c=getchar()) != EOF)
  {
    if(isdigit(c)) 
    {
      ungetc(c, stdin); 
      scanf("%d",&n);
      printf("%d", 2*n); // Ganzzahlen verdoppeln   
    }
    else
    {
      putchar(c);
    }
  }
}