function changeDivVisible(div,vis) {
	  document.getElementById(div).style.visibility = vis;
}