var server_time = 1280454389;