Om man antager , att det finnes800