// JavaScript Document
Normal1 = new Image();
Normal1.src = "hoover/sauger_03.jpg";     /* erste Standard-Grafik */
Highlight1 = new Image();
Highlight1.src = "hoover/sauger_03_o.jpg"; /* erste Highlight-Grafik */

Normal2 = new Image();
Normal2.src = "hoover/sauger_05.jpg";     /* erste Standard-Grafik */
Highlight2 = new Image();
Highlight2.src = "hoover/sauger_05_o.jpg"; /* erste Highlight-Grafik */

Normal3 = new Image();
Normal3.src = "hoover/sauger_06.jpg";     /* erste Standard-Grafik */
Highlight3 = new Image();
Highlight3.src = "hoover/sauger_06_o.jpg"; /* erste Highlight-Grafik */

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

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

function openWin(theURL,winName,features) { //v2.0
fenster = window.open(theURL,winName,features)
fenster.focus();
}