Picking a random element from a streamhttp://geomblog.blogspot.com/2008/01/happy-birthday-don-knuth.html by javanix • 15 years ago 2 1 15 years agoGEgeomblog.blogspot.com