img_T0 = new Image ();
img_T0.src = "Info-1.gif";
img_T1 = new Image ();
img_T1.src = "Info-2.gif";
img_T2 = new Image ();
img_T2.src = "Home-1-S.gif";
img_T3 = new Image ();
img_T3.src = "Home-2-S.gif";
img_T4 = new Image ();
img_T4.src = "Half-L-3.gif";
img_T5 = new Image ();
img_T5.src = "Half-L-4.gif";
img_T6 = new Image ();
img_T6.src = "Half-R-3.gif";
img_T7 = new Image ();
img_T7.src = "Half-R-4.gif";

function switch_image_logo (img_nr, img_obj)
 {window.document.images[img_nr].src = img_obj.src;}