int getrandmax ( void )
Returns the maximum value that can be returned by a call to rand().
[More at php.net]