function toggle(div) {
	if (document.getElementById(div).style.display=='') {
		document.getElementById(div).style.display = 'none';
		return
	} document.getElementById(div).style.display = ''; 
}