12 , 7 , 12 Okt .)