och 12,750 höstterminen ).