function player_submit_exe() {
	f = document.player_submit_form;
	f.submit();
}
function switch_language() {
	var el;
	var lang;
	el = document.getElementById('languages');
	lang = el.value;
	window.location = '../index.php?action=switch_language&lang='+lang;
}
function login() {
	f = document.form_login;
	f.submit();
}
function top_100_exe() {
	f = document.top_100_form;
	f.submit();
}
function set_focus() {
	document.form_login.loginname.focus();
}
function keycode_login(ev) { 
	var kc;
	if( ev ) {
		kc = ev.which;
	} else {
		kc = window.event.keyCode
	} 
	if( kc == "13" ) {
		login();
	}
}