Mean number of real zeros of a random trigonometric polynomial, 1995