s xt : tt 11 ; t: