Which of the following would correctly generate a random number between 0 and 7?
var rand_int= Mathfloor(Mathrandom()*7);