# getrandmax();