function set_target()
      	{
      		var
      			username, password, servername, port_option, protocol;
        
        		username     = document.forms.login_form.user.value;
        		password     = document.forms.login_form.pass.value;
       			servername   = document.forms.login_form.server.value;
				port_option  = document.forms.login_form.port_option.value;
 
				port_option == '2083' || '2096' || '2087' ? protocol = 'https://' : protocol = 'http://' ;
				document.forms.login_form.action = protocol + servername + ':' + port_option + '/login';
  
		}