getrandmax function in php