// Maskierunng der Kontakt-Adressen
var mail1 = '<a href="mailto:info';
var mail2 = '@ass-autoservicestation.de?subject=ASS%20-%20AutoServiceStation.de"\>info';
var mail3 = '@ass-autoservicestation.de</a\>';

// Kennzeichnung aktiver Navi-Links
var nav
function actlink(nav){
document.getElementById(nav).style.color='#ff6600';
}