function submitlogin() {
	tool = document.getElementById('tool');
	toolvalue = tool.options[tool.selectedIndex].value;
	if(toolvalue == 'filexchange'){
		document.loginform.submit();
		return true;
	}
	else if(toolvalue == 'max'){
		document.getElementById('maxformuser').value = document.getElementById('loginuser').value;
		document.getElementById('maxformpassword').value = document.getElementById('loginpassword').value;
		document.maxform.submit();
		return false;
	}
}