t1 ' " t : ~ " ~13