Normal12 = new Image();
Normal12.src = "../images/nav_inaktivmenu_12.JPG";     /* erste Standard-Grafik */
Highlight12 = new Image();
Highlight12.src = "../images/nav_aktivmenu_12.JPG"; /* erste Highlight-Grafik */

Normal14 = new Image();
Normal14.src = "../images/nav_inaktivmenu_14.JPG";     /* zweite Standard-Grafik */
Highlight14 = new Image();
Highlight14.src = "../images/nav_aktivmenu_14.JPG"; /* zweite Highlight-Grafik */

Normal17 = new Image();
Normal17.src = "../images/nav_inaktivmenu_17.JPG";     /* dritte Standard-Grafik */
Highlight17 = new Image();
Highlight17.src = "../images/nav_aktivmenu_17.JPG"; /* dritte Highlight-Grafik */

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

function Bildwechsel (img_name, img_src) {

 document['img_name'].src = img_src;
}