( 17t ; 5)