function sortresult() {
	document.filter.submit();
}

function hidelogindiv() {
	document.getElementById('logindiv').style.display='none';
}
function showlogindiv() {
	document.getElementById('logindiv').style.display='block';
}
function hideplaydiv() {
	document.getElementById('playdiv').style.display='none';
}
function toggle(obj) {
	var el = document.getElementById(obj);
	if ( el.style.display != 'none' ) {
		el.style.display = 'none';
	}
	else {
		el.style.display = '';
	}
}