Title: The average and variance of the number of real zeros of random functions