11 , 712X2 .)