mt_getrandmax(): largest possible random value

int mt_getrandmax ( void )

<?Php
echo mt_getrandmax(); // Output 32767
?>