var topmenu = new Array();
topmenu[0] = new Image();
topmenu[0].src = "./images/nav/start.gif";
topmenu[1] = new Image();
topmenu[1].src = "./images/nav/start_on.gif";
topmenu[2] = new Image();
topmenu[2].src = "./images/nav/fuehrungen.gif";
topmenu[3] = new Image();
topmenu[3].src = "./images/nav/fuehrungen_on.gif";
topmenu[4] = new Image();
topmenu[4].src = "./images/nav/ueber_mich.gif";
topmenu[5] = new Image();
topmenu[5].src = "./images/nav/ueber_mich_on.gif";
topmenu[6] = new Image();
topmenu[6].src = "./images/nav/kontakt.gif";
topmenu[7] = new Image();
topmenu[7].src = "./images/nav/kontakt_on.gif";

function changepic(picname,number)
{
window.document.images[picname].src = topmenu[number].src;
}