wären 15 7 / 12.