/***********JAVASCRIPT FOR LARGE PROXY FORM*****************/
function select_server(){
var server_name=document.phpproxy.proxy.options[document.phpproxy.proxy.selectedIndex].value;
var span_content_format="Selected Proxy Server:
";
span_content=span_content_format.replace(/%%server_name%%/g,server_name);
document.getElementById("proxy_servername_input").innerHTML=span_content;
}
function random_proxy()
{
document.write('');
}
random_proxy();