10 9 } 9 ; 94 94 94 9*