( 5 ; _ k 6 : _)