#include <stdio.h>
#include <stdlib.h>
 
int linear_search(int a[], int n, int x);
 
int main(void) {
	int n;
	int x;
	int* a;
	int ans;
 
	scanf("%d %d",&n,&x);
	a=(int*)malloc(sizeof(int)*n);
	if(a==NULL){
		printf("ERROR\n");
		return -1;
	}
 
	for(int i=0;i<n;i++){
		scanf("%d",&a[i]);
	}
 
	ans=linear_search(a,n,x);
	if(ans==-1){
		printf("not found\n");
	}else{
		printf("a[%d]=%d\n",ans,a[ans]);
	}
	free(a);
 
	return 0;
}
 
int linear_search(int a[], int n, int x){
 
	for(int i=0;i<n;i++){
		if(a[i]==x){
			return i;
		}
	}
	return -1;
}

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KIAppbnQgbGluZWFyX3NlYXJjaChpbnQgYVtdLCBpbnQgbiwgaW50IHgpOwogCmludCBtYWluKHZvaWQpIHsKCWludCBuOwoJaW50IHg7CglpbnQqIGE7CglpbnQgYW5zOwogCglzY2FuZigiJWQgJWQiLCZuLCZ4KTsKCWE9KGludCopbWFsbG9jKHNpemVvZihpbnQpKm4pOwoJaWYoYT09TlVMTCl7CgkJcHJpbnRmKCJFUlJPUlxuIik7CgkJcmV0dXJuIC0xOwoJfQogCglmb3IoaW50IGk9MDtpPG47aSsrKXsKCQlzY2FuZigiJWQiLCZhW2ldKTsKCX0KIAoJYW5zPWxpbmVhcl9zZWFyY2goYSxuLHgpOwoJaWYoYW5zPT0tMSl7CgkJcHJpbnRmKCJub3QgZm91bmRcbiIpOwoJfWVsc2V7CgkJcHJpbnRmKCJhWyVkXT0lZFxuIixhbnMsYVthbnNdKTsKCX0KCWZyZWUoYSk7CiAKCXJldHVybiAwOwp9CiAKaW50IGxpbmVhcl9zZWFyY2goaW50IGFbXSwgaW50IG4sIGludCB4KXsKCQoJZm9yKGludCBpPTA7aTxuO2krKyl7CgkJaWYoYVtpXT09eCl7CgkJCXJldHVybiBpOwoJCX0KCX0KCXJldHVybiAtMTsKfQ==

MTIgNQo0IDIgMTcgMTEgOCAxMyAzIDUgMTggMTIgMTAgMQ==

12 5
4 2 17 11 8 13 3 5 18 12 10 1