9 { * nuntrcatton«prtf ( t : 12 tx.