<?php

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

?>