10617 . ( 7 , 11 .)