„ 13 „ = 12 ' /,