#include <vector>
#include <fstream>

using namespace std;

#define MAX_N 100005
#define MAX_L 20

#define foreach(V) for(typeof (V).begin() it = (V).begin(); it != (V).end(); ++it)

int K, N, M;
int L[MAX_N << 1], H[MAX_N << 1],Lg[MAX_N << 1], First[MAX_N];
int Rmq[MAX_L][MAX_N << 2];

vector <int> G[MAX_N];

ifstream fin ("lca.in");
ofstream fout ("lca.out");

void citire()
{
	fin >> N >> M;
	
	for(int i = 2; i <= N; ++i)
	{
		int x;
		fin >> x;
		G[x].push_back(i);
	}
}

void dfs(int nod, int lev)
{
	H[++K] = nod; //nodul actual este adaugat in reprezentarea Euler a arborelui
	L[K] = lev; //se retine nivelul fiecarei pozitii din reprezentarea Euler a arborelui
	First[nod] = K; //se retine si prima aparitie a fiecarui nod in reprezentarea Euler a arborelui
	
	foreach(G[nod])
	{
		dfs(*it, lev+1);
		
		H[++K] = nod;
		L[K] = lev;
	}
}

void rmq()
{
//in Rmq[i][j] va fi nodul de nivel minim dintre pozitiile (j, j + 2^i - 1) din reprezentarea Euler a arborelui 
	for(int i = 2; i <= K; ++i)
		Lg[i] = Lg[i >> 1] + 1;
	for(int i = 1; i <= K; ++i)
		Rmq[0][i] = i;
	
	for(int i = 1; (1 << i) < K; ++i)
		for(int j = 1; j <= K - (1 << i); ++j)
		{
			int l = 1 << (i - 1);
			
			Rmq[i][j] = Rmq[i-1][j];
			if(L[Rmq[i-1][j + l]] < L[Rmq[i][j]])
				Rmq[i][j] = Rmq[i-1][j + l];
		}
}

int lca(int x, int y)
{
//LCA-ul nodurilor x si y va fi nodul cu nivel minim din secventa (First[x], First[y]) din reprezentarea Euler a arborelui
	int diff, l, sol, sh;
	int a = First[x], b = First[y];
	if(a > b) swap(a, b);
	diff = b - a + 1;
	l = Lg[diff];
	sol = Rmq[l][a];
	sh = diff - (1 << l);
	if(L[sol] > L[Rmq[l][a + sh]])
		sol = Rmq[l][a + sh];
	return H[sol];
}

int main()
{
	citire();
	dfs(1, 0);
	rmq();
	
	while(M--)
	{
		int x, y;
		fin >> x >> y;
		fout << lca(x, y) << "\n";
	}
}