af lava , och fullt hälften as befolkningen , till största delen javaneser , uppgående till ett antal af cirka 1 , 800 , omkom.