// Variablen zur Browserbestimmung
var bName = navigator.appName;
var bVersion = parseInt(navigator.appVersion);

// Funktionen zur Buttonleiste

var activDot = new Array();
var deactivDot = new Array();

activDot[1] = "bilder/rb-firmenportrait.jpg";
activDot[2] = "bilder/rb-produkte.jpg";
activDot[3] = "bilder/rb-service.jpg";
activDot[4] = "bilder/rb-kontakt.jpg";
activDot[5] = "bilder/rb-impressum.jpg";

deactivDot[1] = "bilder/ob-firmenportrait.jpg";
deactivDot[2] = "bilder/ob-produkte.jpg";
deactivDot[3] = "bilder/ob-service.jpg";
deactivDot[4] = "bilder/ob-kontakt.jpg";
deactivDot[5] = "bilder/ob-impressum.jpg";

function activ(nr)
{	eval('document.dot'+nr+'.src = activDot['+nr+']');
}

function deactiv(nr)
{	eval('document.dot'+nr+'.src = deactivDot['+nr+']');
}