Isotype of Mangifera pajang Kosterm. [family ANACARDIACEAE]