( 17 , 563 .)