Penduduk banten (population of banten) : hasil sensus penduduk tahun 2000 (results of the 2000 population census) (Badan pusat statistik, 2001)