added hidoc_read_synterms();