function show_elem(id, show) {
	e = document.getElementById(id);
	e.style.display = show ? 'block' : 'none';
}

function focus_elem(id) {
	e = document.getElementById(id);
	e.focus();
}