Counting Eulerian Circuits