How server_random is generated