12,35 och 9 , «;