20 , 715X1 .)