#include<stdio.h>
int main(void)
{
	int n,s[1700];
	int i[1000],p[1000],q[1000],r[1000];
	int a,b,c,d;
	int flag;
	int j;
	scanf("%d",&n);
	while(n!=0){	
		flag=0;
		for(j=0;j<n;j++){
			scanf("%d %d %d %d",&i[j],&p[j],&q[j],&r[j]);
			s[j]=p[j]*4+q[j]*9+r[j]*4;
		}
		scanf("%d %d %d %d",&a,&b,&c,&d);
		for(j=0;j<n;j++){
			if(p[j]<=a && q[j]<=b && r[j]<=c && s[j]<=d){
				printf("%d\n",i[j]);
				flag=1;
			}
		}
		if(flag==0){
			printf("NA\n");
		}
		scanf("%d",&n);
	}
	return 0;
}