manual page for randomize