
<!--
Normal1 = new Image();
Normal1.src = "../bilder/tickets_berlin.gif";
Highlight1 = new Image();
Highlight1.src = "bilder/tickets_berlin_over.gif";

Normal2 = new Image();
Normal2.src = "../bilder/tickets_kassel.gif";
Highlight2 = new Image();
Highlight2.src = "bilder/tickets_kassel_over.gif";

Normal3 = new Image();
Normal3.src = "bilder/tickets_wartke.gif";
Highlight3 = new Image();
Highlight3.src = "bilder/tickets_wartke_over.gif";

Normal4 = new Image();
Normal4.src = "bilder/tickets_topal.gif";
Highlight4 = new Image();
Highlight4.src = "bilder/tickets_topal_over.gif";

Normal5 = new Image();
Normal5.src = "bilder/tickets_aachen.gif";
Highlight5 = new Image();
Highlight5.src = "bilder/tickets_aachen_over.gif";

Normal6 = new Image();
Normal6.src = "bilder/tickets_luenen.gif";
Highlight6 = new Image();
Highlight6.src = "bilder/tickets_luenen_over.gif";

Normal7 = new Image();
Normal7.src = "bilder/tickets_detmold.gif";
Highlight7 = new Image();
Highlight7.src = "bilder/tickets_detmold_over.gif";

Normal8 = new Image();
Normal8.src = "bilder/tickets_ass-dur.gif";
Highlight8 = new Image();
Highlight8.src = "bilder/tickets_ass-dur_over.gif";

Normal9 = new Image();
Normal9.src = "pics/menu_presse_sub.gif";
Highlight9 = new Image();
Highlight9.src = "pics/menu_presse_sub_over.gif";

Normal10 = new Image();
Normal10.src = "pics/menu_home_sub.gif";
Highlight10 = new Image();
Highlight10.src = "pics/menu_home_sub_over.gif";

Normal11 = new Image();
Normal11.src = "bilder/button_paradies.gif";
Highlight11 = new Image();
Highlight11.src = "bilder/button_paradies_over.gif";

Normal12 = new Image();
Normal12.src = "pics/menu_impressum_sub.gif";
Highlight12 = new Image();
Highlight12.src = "pics/menu_impressum_sub_over.gif";

Normal13 = new Image();
Normal13.src = "bilder/tickets_nikolic.gif";
Highlight13 = new Image();
Highlight13.src = "bilder/tickets_nikolic_over.gif";

Normal14= new Image();
Normal14.src = "bilder/tickets_swooosh.gif";
Highlight14 = new Image();
Highlight14.src = "bilder/tickets_swooosh_over.gif";

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