Man kan således antaga att minst12,000