Men förmodligen äro de6000