function url()
{with (document.schnell.navigation) return options[(selectedIndex)].value;}

function eingabe_check()
{if (document.suche.elements[0].value=="")
 {alert("Das gesuchte Stichwort bitte ins Eingabefeld\nrechts neben dem Button eintragen\nund dann auf \"go\" klicken.");
  document.suche.elements[0].focus(); return false;}
 else return true}

var task=new Array(5);
task[0]=new roll_over("go1","go","Volltextsuche starten...",0);
task[1]=new roll_over("go2","go","Direkt zur gewählten Seite...",0);
task[2]=new roll_over("kontakt","","Alle Adressen, Telefonnummern, E-Mail-Adressen...",0);
task[3]=new roll_over("sitemap","","Die ganze Website auf einen Blick",0);
task[4]=new roll_over("brief","","E-Mail schreiben",0);

function preload_task()
{for (i=0; i<=4; i++) task[i].on.src=pfad+task[i].quelle+"-on.gif";}

function task_an(n)
{document.images[task[n].name].src=task[n].on.src;
 return infotext(task[n].text);}

function task_aus(n)
{document.images[task[n].name].src=task[n].off.src;}