function remove_flash() {
			document.getElementById('intro').style.display = 'none';
  }