function hide_element (id) {
	e = document.getElementById(id);
	e.style.display = 'none';
}
function show_element (id) {
	e = document.getElementById(id);
	e.style.display = 'block';
}
function toggle_element (id) {
	e = document.getElementById(id);
        if (e.style.display == 'none') {
                e.style.display = 'block';
                return;
        }
        e.style.display = 'none';
}