<?
  # This function is from phpdoc
  #
  function make_seed() {
      list($usec, $sec) = explode(' ', microtime());
      return (float) $sec + ((float) $usec * 100000);
  }

  function randpass()
  {
          mt_srand(make_seed());
          return substr(md5(mt_rand()), 0, 8);
  }

  function mail_password($email, $newpass)
  {
      if (strlen ($email) > 0) {
          $body  = "Debian Birthday Party Management\n";
          $body .= "http://www.infodrom.org/Debian/party/\n\n";
          $body .= "Account: " . $email . "\n";
          $body .= "Password: " . $newpass . "\n";
          $body .= "\nThe login an password may be changed within the system.\n";
          $body .= "\nThanks for your commitment and see you at the party.\n";
          $body .= "\nIf you still have questions, please contact\n";
	  $body .= "debian-party@debian.franken.de.\n";
          $body .= "\nThis account expires at the end of this year.\n";
          mail($email, "New password for Debian Birthday Party", $body, "From: joey@infodrom.org (Debian Party)");
      }
      return true;
  }
?>