Did you know that Mohammad Tabrani first proposed the term " bahasa Indonesia " for the national language of Indonesia?