image1= new Image();
 image1.src = "../buttons/b_07_01_grei_a.gif";
 image1on = new Image();
 image1on.src = "../buttons/b_07_01_grei_b.gif";
 image2= new Image();
 image2.src = "../buttons/b_07_02_vent_a.gif";
 image2on = new Image();
 image2on.src = "../buttons/b_07_02_vent_b.gif";
 image3= new Image();
 image3.src = "../buttons/b_07_03_demo_a.gif";
 image3on = new Image();
 image3on.src = "../buttons/b_07_03_demo_b.gif";

 image11= new Image();
 image11.src = "demonstrator_top03.jpg";
 image11on1 = new Image();
 image11on1.src = "demonstrator_item01.jpg";
 image11on2 = new Image();
 image11on2.src = "demonstrator_item02.jpg";
 image11on3 = new Image();
 image11on3.src = "demonstrator_item03.jpg";
 image11on4 = new Image();
 image11on4.src = "demonstrator_item04.jpg";
 image11on5 = new Image();
 image11on5.src = "demonstrator_item05.jpg";
 image11on6 = new Image();
 image11on6.src = "demonstrator_item06.jpg";
 image11on7 = new Image();
 image11on7.src = "demonstrator_item07.jpg";
 image11on8 = new Image();
 image11on8.src = "demonstrator_item08.jpg"; 



 function on(name)   {
         document[name].src = eval(name + "on.src");
 }
 function off(name)  {
         document[name].src = eval(name + ".src");
 }


 function on1(name)   {
         document[name].src = eval(name + "on1.src");
 }
 function on2(name)   {
         document[name].src = eval(name + "on2.src");
 }
 function on3(name)   {
         document[name].src = eval(name + "on3.src");
 }
 function on4(name)   {
         document[name].src = eval(name + "on4.src");
 }
 function on5(name)   {
         document[name].src = eval(name + "on5.src");
 }
 function on6(name)   {
         document[name].src = eval(name + "on6.src");
 }
 function on7(name)   {
         document[name].src = eval(name + "on7.src");
 }
 function on8(name)   {
         document[name].src = eval(name + "on8.src");
 }
 function on9(name)   {
         document[name].src = eval(name + "on9.src");
 }