var server_name = document.location.host;