/* Colored Nav-Button, found by Sitename */
if ($b.search(/referenzen/) != -1) document.getElementById("nav_2").src = "pix/nav_btn_02_h.gif";
if ($b.search(/branchen/) != -1) document.getElementById("nav_3").src = "pix/nav_btn_03_h.gif";
if ($b.search(/portfolio/) != -1) document.getElementById("nav_4").src = "pix/nav_btn_04_h.gif";
if ($b.search(/agentur/) != -1) document.getElementById("nav_5").src = "pix/nav_btn_05_h.gif";