7112X7.3 ; 3 , o:9 .)