function jch(o) {
    if(document.getElementById(o).style.display=='none') {
	document.getElementById(o).style.display='block';
    } else {
	document.getElementById(o).style.display='none';
    }
}