private HaystackToken refh()
{
if (m_cCur < 0)
{
err("Unexpected eof in refh");
}
consume('@');
StringBuilder s = new StringBuilder();
while (true)
{
if (HRef.isIdChar(m_cCur))
{
s.Append((char)m_cCur);
consume();
}
else
{
break;
}
}
m_val = HRef.make(s.ToString(), null);
return(HaystackToken.refh);
}