#include <fstream>
#include <vector>
#include <algorithm>
using namespace std;
ifstream f("lca.in");
ofstream g("lca.out");

int N, M, lg[200005], rmq[21][200005], Euler[200005], First[100005], Lvl[100005], dim, x, y;
vector <int> G[100005];

void dfs(int nod, int level)
{
    Lvl[nod]=level; Euler[++dim]=nod; First[nod]=dim;
    vector<int>::iterator it=G[nod].begin();
    for (; it!=G[nod].end(); ++it)
        dfs(*it, level+1), Euler[++dim]=nod;
}

int LCA(int x, int y)
{
    int st=First[x], dr=First[y];
    if (st>dr) swap(st, dr);

    int Log=lg[dr-st+1], n1=rmq[Log][st], n2=rmq[Log][dr-(1<<Log)+1];
    if (Lvl[n1]<Lvl[n2]) return n1;
    return n2;
}

int main()
{
    f>>N>>M;
    for (int i=2; i<=N; ++i)
        f>>x, G[x].push_back(i);

    dfs(1,1); rmq[0][1]=Euler[1];
    for (int i=2; i<=dim; ++i)
        lg[i]=lg[i/2]+1, rmq[0][i]=Euler[i];

    for (int i=1; (1<<i)<=dim; ++i)
        for (int j=1; j<=dim-(1<<i)+1; ++j)
        {
            x=rmq[i-1][j]; y=rmq[i-1][j+(1<<(i-1))];
            if (Lvl[x]<Lvl[y]) rmq[i][j]=x;
                else rmq[i][j]=y;
        }

    while (M--)
        f>>x>>y, g<<LCA(x, y)<<'\n';
    return 0;
}