public int readChar(char ch)
{
if (!onNULL())
{
char c = nextChar();
if (c == ch) {
return 1;
}
prevChar();
}
return 0;
}