var user_all_servers=[];///**/
var user_recent_servers=[];///**/