added hidoc_set_synterm()