tillsammans 12 krigsfartyg , hvaraf 9 linieskepp.