var user_id = none; var server_time = "1712151820";