17 , 831X3 .)