<!-- hide script from defunct browsers
  conBrowser=0;
  function display(stuff) { window.status = stuff; }

conBrowser=1;
/*
switch1on  = new Image;  switch1on.src    = 'images/nav1on.gif';
switch1off = new Image;  switch1off.src   = 'images/nav1off.gif';
switch1sta = new Image;  switch1sta.src   = 'images/nav1on.gif';
*/
xALLon	= new Image;	xALLon.src	=	'/images/mouse2.jpg'
xALLoff	= new Image;	xALLoff.src	=	'/images/mouse1.jpg'
xALLsta	= new Image;	xALLsta.src	=	'/images/mouse2.jpg'
/*Include more pictures here! Don't forget to change height and width */

       var whichbutton = 0
       function HighLight(musswitch) {
       if (conBrowser) {
               switchnavn = xALLon ;
               document [musswitch].src = switchnavn.src;}}
       function UndoHighLight(musswitch) {
       if (conBrowser) {
               switchnavn = xALLoff ;
               document [musswitch].src = switchnavn.src;}}
       function Static(musswitch) {
       if (conBrowser) {
               switchnavn = xALLsta ;
               document [musswitch].src = switchnavn.src;}}
       function Change() {
       if (conBrowser) {
	   
if (whichbutton == 1) UndoHighLight('x1');
if (whichbutton == 2) UndoHighLight('x2');
if (whichbutton == 3) UndoHighLight('x3');
if (whichbutton == 4) UndoHighLight('x4');
if (whichbutton == 5) UndoHighLight('x5');
if (whichbutton == 6) UndoHighLight('x6');
if (whichbutton == 7) UndoHighLight('x7');
if (whichbutton == 8) UndoHighLight('x8');
if (whichbutton == 9) UndoHighLight('x9');
if (whichbutton == 10) UndoHighLight('x10');

/*Include the if-clauses for further pictures here! */
}}


//-->