16 , 715X2 .)