t , s7 ; t.