void mt_srand(int seed);Seeds the random number generator with seed.
// seed with microseconds since last "whole" second
mt_srand((double)microtime()*1000000);
$randval = mt_rand();
See also mt_rand(), mt_getrandmax(), srand(), rand() and getrandmax().