/* ReadBatch: 
Reads up to n characters from stdin to CharArray and 
returns the number of items read. */
#include <stdio.h>
int 	ReadBatch(int n, int CharArray[])
{
int a, i=0;
a=getchar();
while(a!=EOF && i<n){
	CharArray[i]=a;
	i++;
	a=getchar();
	};
return i;
}