It might be important to mention that the value it returns isn't really random - for example, the first time I run random(10000) after starting the engine, it returns 8743.