15 , 017X1 ) ( 7-57)