pr t:a ; ( 12 l8:s12