„ 23 = 13 ' /,