function toggle(){
	var infobox = document.getElementById("infobox");
	if(infobox.style.display=='' || infobox.style.display=='none') infobox.style.display = 'block';
	else infobox.style.display = 'none';
}