7,13 och 9,15 fm.