tu . , 1 , 3 *halt