9 ; 6