random function

[polyakov]

hello every one .
how can i write in Maude a random function that generates a random natural number for example between 1 and n where n is a given number (let assume n = 7); when executing the function it gives for instance 6, at the second execution, it gives for instance 3, etc...

thanks