<!-- hide
  // we do have Javascript
  var JS11 = false;
  var pics;

// -->
<!-- hide
  // and it's JS 1.1
  JS11 = true;
  pics = new Array();

// -->
<!-- hide
	    var objCount = 0; // number of (changing) images on web-page
function nav_preload(name, first, second, info) {  

  // preload images and place them in an array
  if (JS11) {     
    pics[objCount] = new Array(3);
    pics[objCount][0] = new Image();
    pics[objCount][0].src = first;
    pics[objCount][1] = new Image();
    pics[objCount][1].src = second;
    pics[objCount][2] = name;

    pics[objCount][3] = new Image();
    pics[objCount][3].src = info;


    objCount++;
  }
}

function on(name) {
  if (JS11) {

     for (i = 0; i < objCount; i++) {
      if (document.images[pics[i][2]] != null)

        if (name == pics[i][2]) {
           // show the second image because cursor moves across this image
           document.images[pics[i][2]].src = pics[i][1].src;

           document.images['info'].src = pics[i][3].src;

	} else if (pics[i][2] == 'null') { 
		// do nothing
	} else {
          // set back all other pictures
          document.images[pics[i][2]].src = pics[i][0].src;
        }
    } // end for loop
  }
} // end function

function off(){
  if (JS11) {

     for (i = 0; i < objCount; i++) {
      // set back all pictures
	if ( pics[i][2] != 'null' ) {
            if (document.images[pics[i][2]] != null)
		document.images[pics[i][2]].src = pics[i][0].src;
 
                document.images['info'].src='images/BannerRightBase.gif';

          
	}
		
     }
    
  }
}

nav_preload( "s1" ,"images/s1_off.gif","images/s1_on.gif","images/BannerRightS1_info.gif");
nav_preload( "s2" ,"images/s2_off.gif","images/s2_on.gif","images/BannerRightS2_info.gif");
nav_preload( "s3" ,"images/s3_off.gif","images/s3_on.gif","images/BannerRightS3_info.gif");
nav_preload( "s4" ,"images/s4_off.gif","images/s4_on.gif","images/BannerRightS4_info.gif");


//-->