function submit_login() {
	e = window.event;
	if (e.keyCode == 13) { document.login.submit(); }
	return false;
}