( 17 , 403 .)