var pfad = '/inhalt/'

function Bildwechsel(Bildnr,Bildobjekt)
{
window.document.images[Bildnr].src = Bildobjekt.src;
}

Normal1 = new Image();
Normal1.src = "../images/bensberg_city1.gif";
Highlight1 = new Image();
Highlight1.src = "../images/bensberg_city2.gif";