Sophie
<meta http-equiv="refresh" content="0; url=Random-Number-Generation.html#doc%2ddiscrete%5frnd">