Passage: Indonesia's Armed Forces (TNI) include the Army (TNI–AD), Navy (TNI–AL, which includes Marine Corps), and Air Force (TNI–AU). The army has about 400,000 active-duty personnel. Defense spending in the national budget was 0.8% of GDP in 2017, and is controversially supplemented by revenue from military commercial interests and foundations. The Armed Forces was formed during the Indonesian National Revolution, when it undertook a guerrilla warfare along with informal militia. As a result of this, and the need to maintain internal security, all branches of the TNI have been organised along territorial lines, aimed at defeating internal enemies and potential external invaders. Since its founding, the military has always had a strong political influence, reaching its greatest extent during the New Order. Following political reforms in 1998, the TNI's formal representation in parliament was removed. Nevertheless, its political influence remains, albeit at a reduced level.Since independence, the country has struggled to maintain unity against local insurgencies and separatist movements. Some, notably in Aceh and Papua, have led to an armed conflict, and subsequent allegations of human rights abuses and brutality from all sides. The former was resolved peacefully in 2005, while the latter still continues, amid a significant, albeit imperfect, implementation of regional autonomy laws, and a reported decline in the levels of violence and human rights abuses since 2004. Other engagements of the army include the campaign against the Netherlands New Guinea to incorporate the territory into Indonesia, the Konfrontasi to oppose the creation of Malaysia, the mass killings of PKI, and the invasion of East Timor, which remains Indonesia's largest military operation.

Question: How large was the Indonesian army?
400,000