public int readDigits()
{
int read = 0;
pushPos();
while (readDigit() != 0)
{
read = 1;
}
if (read == 0)
{
popPosBack();
return 0;
}
popPos();
return read;
}