" , $imagelist[ $randval ] ); // マイクロでシードを設定する function make_seed() { list($usec, $sec) = explode(' ', microtime()); return (float) $sec + ((float) $usec * 100000); } ?>