#include <iostream>
#include <fstream>
#include <vector>
#include <math.h>
using namespace std;

ifstream fin("lca.in");
ofstream fout("lca.out");
int n, m;
vector <int> graph[100005];
int level[100005];
int ancestors[20][100005];


int LCA(int a, int b)
{
    if (a == b)
    {
        return a;
    }
    for (int e = 19; e >= 0; e--)
    {
        if (ancestors[e][a] != ancestors[e][b])
        {
            a = ancestors[e][a];
            b = ancestors[e][b];
        }
    }
    return ancestors[0][a];
}

void Equalize(int &a, int &b)
{
    int e = 19;
    while (level[b] - level[a] > 0)
    {
        int dif = level[b] - level[a];
        if ((1 << e) <= dif)
        {
            b = ancestors[e][b];
        }
        e--;
    }
}

void DFS(int node, int lvl)
{
    level[node] = lvl;
    for (int x : graph[node])
    {
        DFS(x, lvl + 1);
    }
}

int main()
{
    fin >> n >> m;
    ancestors[0][1] = 1;
    for (int i = 1; i < n; i++)
    {
        int x;
        fin >> x;
        graph[x].push_back(i + 1);
        ancestors[0][i + 1] = x;
    }

    DFS(1, 1);

    for (int e = 1; e < 20; e++)
    {
        for (int i = 1; i <= n; i++)
        {
            ancestors[e][i] = ancestors[e - 1][ancestors[e - 1][i]];
        }
    }

    for (int i = 0; i < m; i++)
    {
        int a, b;
        fin >> a >> b;

        if (level[a] > level[b])
        {
            Equalize(b, a);
        }
        else
        {
            Equalize(a, b);
        }
        fout << LCA(a, b) << '\n';
    }
}