We provide a polynomial time algorithm which finds a total coloring of
any graph with maximum degree Delta, Delta sufficiently large, using
at most Delta + 8 log(8) Delta colors. This improves the best previous
upper bound on the total chromatic number of Delta + 18 Delta(1/3) lo
g(3 Delta).