13 , 7 .)