; TOT * V t ; ;\