7.23 c . , pr okt.