30 ships of the line would cost 15,000, IIRC