public string doc()
{
if (!m_docLoaded)
{
try
{
Stream input = fpod.m_store.read("doc/pod.fandoc");
if (input != null) m_doc = SysInStream.make(input, Long.valueOf(1024L)).readAllStr();
}
catch (Exception e)
{
Err.dumpStack(e);
}
m_docLoaded = true;
}
return m_doc;
}