#include<cstdio>

#define rep(i,n) for(int i=0;i<(n);i++)

using namespace std;

int main(){
	for(int n;scanf("%d",&n),n;){
		int a[1000],b[1000],c[1000],d[1000];
		rep(i,n) scanf("%d%d%d%d",a+i,b+i,c+i,d+i);

		int p,q,r,s; scanf("%d%d%d%d",&p,&q,&r,&s);
		bool ok=false;
		rep(i,n){
			if(b[i]<=p
			&& c[i]<=q
			&& d[i]<=r
			&& 4*b[i]+9*c[i]+4*d[i]<=s) printf("%d\n",a[i]), ok=true;
		}
		if(!ok) puts("NA");
	}

	return 0;
}