Symbol: MANDOC_DB