menu_dot1 = new Image();
menu_dot1.src = "img/navidot.gif";     /* erste Standard-Grafik */
menu_dot1_on = new Image();
menu_dot1_on.src = "img/navidot_on.gif"; /* erste Highlight-Grafik */

/* usw. fuer alle weiteren zu benutzenden Grafiken */

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