public int readCharIn(string s)
{
if (!onNULL())
{
char c = nextChar();
if (s.IndexOf(c) != -1)
{
return 1;
}
prevChar();
}
return 0;
}