private Month parseMon()
{
StringBuilder s = new StringBuilder();
while (pos < str.Length)
{
int ch = str[pos];
if ('a' <= ch && ch <= 'z')
{
s.Append((char)ch); pos++; continue;
}
if ('A' <= ch && ch <= 'Z')
{
s.Append((char)FanInt.lower(ch)); pos++; continue;
}
break;
}
Month m = locale().monthByName(s.ToString());
if (m == null)
{
throw new Exception();
}
return(m);
}