Added the Random class