6.17 Random Numbers