25 , 17 ; k!