source_code: import java.io.IOException;
  import java.io.InputStream;
  import java.io.PrintWriter;
  import java.io.*;
  import java.util.*;
  import java.math.*;
  import java.lang.*;
  import java.util.PriorityQueue;
  import static java.lang.Math.*;
  
  public class solution implements Runnable {
      static class InputReader {
          private InputStream stream;
          private byte[] buf = new byte[1024];
          private int curChar;
          private int numChars;
          private SpaceCharFilter filter;
          private BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
  
          public InputReader(InputStream stream) {
              this.stream = stream;
          }
          
          public int read() {
              if (numChars==-1) 
                  throw new InputMismatchException();
              
              if (curChar >= numChars) {
                  curChar = 0;
                  try {
                      numChars = stream.read(buf);
                  }
                  catch (IOException e) {
                      throw new InputMismatchException();
                  }
                  
                  if(numChars <= 0)               
                      return -1;
              }
              return buf[curChar++];
          }
       
          public String nextLine() {
              String str = "";
              try {
                  str = br.readLine();
              }
              catch (IOException e) {
                  e.printStackTrace();
              }
              return str;
          }
          public int nextInt() {
              int c = read();
              
              while(isSpaceChar(c)) 
                  c = read();
              
              int sgn = 1;
              
              if (c == '-') {
                  sgn = -1;
                  c = read();
              }
              
              int res = 0;
              do {
                  if(c<'0'||c>'9') 
                      throw new InputMismatchException();
                  res *= 10;
                  res += c - '0';
                  c = read();
              }
              while (!isSpaceChar(c)); 
              
              return res * sgn;
          }
          
          public long nextLong() {
              int c = read();
              while (isSpaceChar(c))
                  c = read();
              int sgn = 1;
              if (c == '-') {
                  sgn = -1;
                  c = read();
              }
              long res = 0;
              
              do {
                  if (c < '0' || c > '9')
                      throw new InputMismatchException();
                  res *= 10;
                  res += c - '0';
                  c = read();
              }
              while (!isSpaceChar(c));
                  return res * sgn;
          }
          
          public double nextDouble() {
              int c = read();
              while (isSpaceChar(c))
                  c = read();
              int sgn = 1;
              if (c == '-') {
                  sgn = -1;
                  c = read();
              }
              double res = 0;
              while (!isSpaceChar(c) && c != '.') {
                  if (c == 'e' || c == 'E')
                      return res * Math.pow(10, nextInt());
                  if (c < '0' || c > '9')
                      throw new InputMismatchException();
                  res *= 10;
                  res += c - '0';
                  c = read();
              }
              if (c == '.') {
                  c = read();
                  double m = 1;
                  while (!isSpaceChar(c)) {
                      if (c == 'e' || c == 'E')
                          return res * Math.pow(10, nextInt());
                      if (c < '0' || c > '9')
                          throw new InputMismatchException();
                      m /= 10;
                      res += (c - '0') * m;
                      c = read();
                  }
              }
              return res * sgn;
          }
          
          public String readString() {
              int c = read();
              while (isSpaceChar(c))
                  c = read();
              StringBuilder res = new StringBuilder();
              do {
                  res.appendCodePoint(c);
                  c = read();
              } 
              while (!isSpaceChar(c));
              
              return res.toString();
          }
       
          public boolean isSpaceChar(int c) {
              if (filter != null)
                  return filter.isSpaceChar(c);
              return c == ' ' || c == '\n' || c == '\r' || c == '\t' || c == -1;
          }
       
          public String next() {
              return readString();
          }
          
          public interface SpaceCharFilter {
              public boolean isSpaceChar(int ch);
          }
      }
  	static int mod = (int)1e9+7;
  	public static long fastexpo(long pow)
  	{
  		long expo = 2;
  		long ans = 1;
  		while(pow!=0)
  		{
  			if((pow&1)==1)
  			{
  				ans = (ans*expo)%mod;
  			}
  			expo = (expo*expo)%mod;
  			pow = pow>>1;
  		}
  		return ans;
  	}
  	public static void main(String args[]) throws Exception {
          new Thread(null, new solution(),"Main",1<<26).start();
      }
  	public void run() {
          InputReader sc  = new InputReader(System.in);
  		PrintWriter out = new PrintWriter(System.out);
  		long x = sc.nextLong();
  		if(x==0)
  		{
  			out.println(0);
  			out.close();
  			return;
  		}
  		long k = sc.nextLong();
  		long a = ((fastexpo(k+1)%mod)*(x%mod))%mod;
  		long b = (-1*fastexpo(k)%mod+mod)%mod;
  		long ans = (a+b+1)%mod;
  		out.println(ans);
  		out.close();
      }
  }