Re: How server_random is generated