True, but Deestan has the right idea. The number was random at the time of coding (presumably selected by the programmer using a fair dice roll), but is obvious

True, but Deestan has the right idea. The number was random at the time of coding (presumably selected by the programmer using a fair dice roll), but is obviously not random at runtime. It's amusing that every answer in that SO thread completely missed the point.