(name:rand7) (author:contrib) (desc:Generates a random number) (size:80 25) v >3v@.-1<-< v_4?2>*#v ?1^ >:*>1^@.< >2^