#include<stdio.h>
int main(void)
{
	int n,k,j,P,Q,R,C,flg;
	int i[1001],p1[101],q1[101],r1[101],c[1701],p[1001],q[1001],r[1001];
	flg=0;
	scanf("%d",&n);
	while(n!=0){
		for(j=1;j<=n;j++){
			scanf("%d %d %d %d",&i[j],&p[j],&q[j],&r[j]);
			p1[j]=p[j]*4;
			q1[j]=q[j]*9;
			r1[j]=r[j]*4;
			c[j]=p1[j]+q1[j]+r1[j];
		}
		scanf("%d %d %d %d",&P,&Q,&R,&C);
		for(j=1;j<=n;j++){
			if(p[j]<=P && q[j]<=Q && r[j]<=R && c[j]<=C){
				printf("%d\n",i[j]);
				flg=1;
			}
		} 
		if(flg==0){
			printf("NA\n");
		}
		flg=0;
		scanf("%d",&n);
	}
	return 0;
}