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;
}
