function toggle(x) {
$vis = document.getElementById(x).style.display;
	if($vis=='none') {
		document.getElementById(x).style.display='';
	} else {
		document.getElementById(x).style.display='none';
	}
}