// JavaScript Document

function over_navi_gif(img_name)
{
 picname="images/b_" + img_name + "_aktiv.gif";
 docname="img_" + img_name;
 document[docname].src = picname;
 return true;
}


function out_navi_gif(img_name)
{
 picname="images/b_" + img_name + ".gif";
 docname="img_" + img_name;
 document[docname].src = picname;
 return true; 
}