( 6 ; 40 k 6 : 80 ) ( 6 : 40 k7