["$t5", "$t6", "$t7", "$t8", "$t9"]