s \ t : tt 11 ; t: