function navleiste(i,s)
{
    e = document.getElementById('n' + i);
    if (s == 0)
    { e.style.background = 'url(pic/leiste-off.png) repeat-x'; }
    else
    { e.style.background = 'url(pic/leiste-on.png) repeat-x'; }
}