function toggle_div(id) {
	var c = document.getElementById(id);
	if (c.style.display=='none') {
		c.style.display='block';
	} else {
		c.style.display='none';
	}
}