talet af döde på Java uppskattas till 13 , 000.