Penduduk Indonesia hasil survei penduduk antar sensus 1985 = Population of Indonesia result of the 1985 intecensal population survey