<?php
function make_seed() {
list($usec, $sec) = explode(' ', microtime());
return (float)$sec+((float)$usec*100000);
}