// JavaScript Document

function navdesc(navText)
{
  if (navText == "")
  {
    document.getElementById('tnavdesc').innerHTML = "« Bitte wählen"
  }
  else
  {  
    document.getElementById('tnavdesc').innerHTML = navText;
	}
}