80-4000-0430-7 80-4000-1418-1 80-4000-1867-9 80-4000-2883-5 80-4000-3066-6 80-4000-3135-9 80-4000-3139-1 80-4000-3140-9 80-4000-3143-3 80400031474