#include <bits/stdc++.h>
#define syosu(x) fixed<<setprecision(x)
using namespace std;
typedef long long ll;
typedef unsigned int uint;
typedef unsigned long long ull;
typedef pair<int,int> P;
typedef pair<double,double> pdd;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<double> vd;
typedef vector<vd> vvd;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<string> vs;
typedef vector<P> vp;
typedef vector<vp> vvp;
typedef vector<pll> vpll;
typedef pair<int,P> pip;
typedef vector<pip> vip;
const int inf=1<<29;
const ll INF=1ll<<60;
const double pi=acos(-1);
const double eps=1e-9;
const ll mod=1e9+7;
//const int dx[4]={-1,0,1,0},dy[4]={0,-1,0,1};
const int dx[8]={-1,0,1,0,-1,-1,1,1},dy[8]={0,-1,0,1,-1,1,-1,1};

class Graph{
	private:
	int n;
	vvp g;
	public:
	vi DIJ(int s){
		priority_queue<P> q;
		vi d(n,inf);
		d[s]=0;
		q.push({0,s});
		while(!q.empty()){
			P p=q.top();
			q.pop();
			int v=p.second;
			if(d[v]<-p.first) continue;
			for(auto i:g[v]){
				int u=i.first,D=d[v]+i.second;
				if(d[u]>D){
					d[u]=D;
					q.push({-D,u});
				}
			}
		}
		return d;
	}
	Graph(int v){
		n=v;
		g=vvp(v);
	}
	void add_edge(int s,int t,int c){
		g[s].push_back({t,c});
	}
};

const int N=16;

int main(){
	ios::sync_with_stdio(0);
	cin.tie(0);
	while(1){
		int n,m,L,K,A,H;
		cin>>n>>m>>L>>K>>A>>H;
		if(n==0) break;
		m++;
		Graph g(n*m);
		for(int i=0;i<L;i++){
			int v;
			cin>>v;
			for(int j=0;j<m-1;j++) g.add_edge(v*m+j,v*m+j+1,1);
		}
		for(int i=0;i<K;i++){
			int u,v,w;
			cin>>u>>v>>w;
			for(int j=w;j<m;j++) g.add_edge(u*m+j,v*m+j-w,w);
			for(int j=w;j<m;j++) g.add_edge(v*m+j,u*m+j-w,w);
		}
		vi d=g.DIJ(A*m+m-1);
		int res=inf;
		for(int i=0;i<m;i++) res=min(res,d[H*m+i]);
		if(res==inf) cout<<"Help!"<<endl;
		else cout<<res<<endl;
	}
}
