<!--

// Animiertes Mainmenu (Pfeil)
//
img01 = "grafik/blaupfeil.gif"
img02 = "grafik/navioff.gif"

function imgover(imgname) { imgname.src = img01 }
function imgout(imgname) { imgname.src = img02 }


// Animiertes Submenu (Punkt)
//
subimg01 = "grafik/blaupunkt.gif"
subimg02 = "grafik/navisuboff.gif"

function subimgover(subimgname) { subimgname.src = subimg01 }
function subimgout(subimgname) { subimgname.src = subimg02 }


// Linkerklärung in der Statuszeile
//
function info(txt)
{
 window.status = txt;
 setTimeout("clear_info()",2500);
}

function clear_info()
{
 window.status="";
}


//-->