http://harryjconnolly.com/randomness-for-712/