function navText (text) {
	document.getElementById("infoBar2").childNodes[0].nodeValue=text;
}

function navNull() {
  document.getElementById("infoBar2").childNodes[0].nodeValue="";
}