/*
	check for bad keys by reading through files
*/
int		cin;		/* cards */
int		cfn;		/* current file number */
{
	cfn = 999;		/* set to unlikely number */
	while(rdcard())	{
		cin += 1;
		if(filenum() != cfn)	{
			cfn = filenum();
			if(cfn >= 1)	printf("%d\n",cin);
			printf("%3d %s ",cfn,infile());
			cin = 0;
			}
		}
	printf("%d\n",cin);
	exit(0);
}